【摘 要】
：
近年来,越来越多的安全关键软件系统运行在国产Linux操作系统上,其中大多数采用C＋＋开发,而C＋＋正在扩展新版语言规范,已有的覆盖率统计插装工具不能满足要求。给出一种基于Clang/L
论文部分内容阅读
近年来,越来越多的安全关键软件系统运行在国产Linux操作系统上,其中大多数采用C＋＋开发,而C＋＋正在扩展新版语言规范,已有的覆盖率统计插装工具不能满足要求。给出一种基于Clang/LLVM的C＋＋源代码覆盖率统计插装方法,利用开源社区Clang/LLVM库提供的C＋＋源代码解析和操作功能,构建面向C＋＋源代码的语句、分支和MC/DC覆盖率统计框架,在运行时采集覆盖率信息并进行统计分析,输出覆盖率分析报告。实际案例表明,该方法简易实用,能够满足真实工程软件的覆盖率测试分析需求。
其他文献
近年来,随着我国对非物质文化遗产保护传承的关注程度不断提高,河南地方戏所面临的发展窘境也逐渐引起人们的注意。本文以河南地方戏的历史发展与保护传承为研究内容,通过对
目的观察中医综合治疗耳眩晕的临床效果。方法研究对象为随机选取收住的60例耳眩晕患者,按照随机数字表法将其分为对照组和干预组,2组均接受常规治疗,干预组在常规治疗的基础
信息素是昆虫化学交流的重要媒介物质,对物种的生存和发展具有重要的意义。近几十年来,解密其功能,生物合成路径、分子机制以及演化过程,引起了人们极大的兴趣。目前,鳞翅目
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
目的：探讨分析神经生长因子治疗脑外伤的临床疗效.方法：选取入院时GCS积分3～8分,经CT证实为广泛脑挫裂伤或合并脑内血肿的104例患者为观察组,随机选择同期相同情况脑外伤患者104
网络竞价买卖是指借助计算机和网络信息技术，按照竞价的原则，通过网络平台自动达成交易的一种方式。网络竞价买卖的英文表述是auction online，按照字面意思可以直接翻译为“在线