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

作     者：文勇 蔡铭 陈刚 杨子江 金星 WEN Yong;CAI Ming;CHEN Gang;YANG Zi-jiang;JIN Xing

作者机构：浙江大学计算机科学与技术学院浙江杭州310027 广西民族大学物理与电子工程学院广西南宁530006 北京神舟航天软件技术有限公司北京100094 

基　　金：航天科技创新基金重点项目(CASC04) 航天支撑技术基金项目(GFJG-E10803) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2010年第31卷第11期

页      码：2568-2571页

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

主 题 词：软件验证 目标码验证 CPU模块扩展 控制流图 结构覆盖 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.16208/j.issn1000-7024.2010.11.037

馆 藏 号：203119484...