目标码流图和结构覆盖率获取方法

作者：文勇; 蔡铭; 陈刚; 杨子江; 金星

来源：计算机工程与设计, 2010, (11): 2568-2571.

DOI：10.16208/j.issn1000-7024.2010.11.037

• 软件验证
• 目标码验证
• CPU模块扩展
• 控制流图
• 结构覆盖 software verification
• object code verification
• CPU module extension
• control flow
• structural coverage

为了有效进行目标码分析与验证,提出了通过扩展CPU模块获取目标码控制流图及结构覆盖率的方法。采用CPU分支指令功能扩展,并新增动态地址跳转记录单元,实现目标码控制流信息的有效采集,结合目标码流图构造算法,完成结构覆盖率计算。分析结果表明,该方法不依赖于开发工具链信息和无需代码插桩,对CPU运行性能影响小且目标码流图构造算法为线性复杂度。

• 出版日期2010
• 单位浙江大学; 北京神舟航天软件技术有限公司; 广西民族大学