嵌入式航天软件汇编代码覆盖测试方案

Novel Assembly-Language Code Coverage Testing Scheme for Embedded Aerospace Software

从插桩策略、覆盖率收集方法 2个方面设计实现了一种汇编代码覆盖测试方案,解决了嵌入式航天软件汇编代码覆盖测试没有工具支持的问题。针对嵌入式系统资源紧张、时序相关性强的特点,在研究汇编语言指令结构的基础上,制定了一套基于比特位表征方式的汇编插桩策略;提出了一种基于JTAG接口的通用覆盖率数据收集方案,解决了覆盖信息输出通道受限问题。实验结果及工程应用实例证明了方案的有效性和可行性。

An effective assembly-language code coverage testing scheme is designed and implemented to solve the problem that there is often no available tool supports assembly-language code coverage testing in the aerospace embedded system. This scheme consists of two parts by code instrumentation strategy and coverage data collection method. In view of the characteristics of embedded system,such as strict timing requirement and limited memory resources,a code instrumentation method with bit based coverage state information expression strategy is proposed on the basis of research on assembly instruction structure,and then a general assembly coverage information collection method by using JTAG interface is proposed to solve the problem of limited coverage output channel in embedded system. The experimental results and engineering practice shows that the scheme given is feasible and useful.