摘要
为了有效进行目标码分析与验证,提出了通过扩展CPU模块获取目标码控制流图及结构覆盖率的方法。采用CPU分支指令功能扩展,并新增动态地址跳转记录单元,实现目标码控制流信息的有效采集,结合目标码流图构造算法,完成结构覆盖率计算。分析结果表明,该方法不依赖于开发工具链信息和无需代码插桩,对CPU运行性能影响小且目标码流图构造算法为线性复杂度。
To effectively carry out the object code analysis and verification,a novel method of control flow and structural coverage measurement for object code verification is presented based on CPU module extension.By branch instruction function extension,along with a new module for dynamic branch target buffer,the control flow of object code is collected effectively.And then,the algorithm for control flow construction and structural coverage measurement are given respectively.Both the overhead and computation complexity are acceptable with analysis study.Competitive advantage of this method is independent of compiler and non-incursive measurement for the object code.
出处
《计算机工程与设计》
CSCD
北大核心
2010年第11期2568-2571,共4页
Computer Engineering and Design
基金
航天科技创新基金重点项目(CASC04)
航天支撑技术基金项目(GFJG-E10803)
关键词
软件验证
目标码验证
CPU模块扩展
控制流图
结构覆盖
software verification
object code verification
CPU module extension
control flow
structural coverage
