期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
目标码流图和结构覆盖率获取方法 被引量:1
1
作者 文勇 蔡铭 +2 位作者 陈刚 杨子江 金星 《计算机工程与设计》 CSCD 北大核心 2010年第11期2568-2571,共4页
为了有效进行目标码分析与验证,提出了通过扩展CPU模块获取目标码控制流图及结构覆盖率的方法。采用CPU分支指令功能扩展,并新增动态地址跳转记录单元,实现目标码控制流信息的有效采集,结合目标码流图构造算法,完成结构覆盖率计算。分... 为了有效进行目标码分析与验证,提出了通过扩展CPU模块获取目标码控制流图及结构覆盖率的方法。采用CPU分支指令功能扩展,并新增动态地址跳转记录单元,实现目标码控制流信息的有效采集,结合目标码流图构造算法,完成结构覆盖率计算。分析结果表明,该方法不依赖于开发工具链信息和无需代码插桩,对CPU运行性能影响小且目标码流图构造算法为线性复杂度。 展开更多
关键词 软件验证 目标码验证 CPU模块扩展 控制流图 结构覆盖
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部