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

Novel method of control flow and structural coverage measurement for object code verification

作　　者：文勇[1,2] 蔡铭[1] 陈刚[1] 杨子江[1] 金星[3] 

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

出　　处：《计算机工程与设计》2010年第11期2568-2571,共4页Computer Engineering and Design

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

摘　　要：为了有效进行目标码分析与验证,提出了通过扩展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.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]