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

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