基于目标码的测试覆盖不可达分析方法  

Approach of Unreachable Test Coverage Analysis Based on Object Code

作　　者：黄晨[1] 董燕[1] 于倩[1] 虞砺琨[1] 

机构地区：[1]北京控制工程研究所,北京100190

出　　处：《测控技术》2017年第1期100-103,107,共5页Measurement & Control Technology

基　　金：国家自然科学基金资助项目(91118007)

摘　　要：基于目标码的测试覆盖率分析是软件测试过程的必要关键步骤,不可达分析能够保证测试的完整性和充分性。给出嵌入式软件基于覆盖率测试的分析过程,在嵌入式虚拟测试平台的基础上,对程序目标代码插桩,采用语句和分支覆盖率分析准则,将黑盒测试和白盒测试相结合,分析不可达分支语句引入机理,并通过具体的反汇编代码实例分析来验证这种测试方法的可行性和有效性。专门针对覆盖率不可达的分析可以有效验证软件功能,发现软件缺陷,进一步提升软件质量。Analysis of test coverage based on object code is a key step of software testing process, and unreach- able analysis can ensure the integrity and adequacy of the test. A coverage testing analysis process of embedded software is presented, based on the embedded virtual test platform, the pile foundation is inserted into object code. Using basic statement and branch coverage analysis criteria, and combining the black box test with the white box test, the introduction mechanism of unreachable branch statement is analyzed. Finally, the feasibility and effectiveness of this method are validated through the specific examples of disassembly analysis. Coverage analysis can effectively verify the software functions and find out software defects, which, helps to further im- prove the software quality.

关 键 词：嵌入式 目标码 覆盖率 不可达 

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