刘春龙 王 洋 申 彪

北京航天自动控制研究所，北京 100854

随着航天产品在信息化、体系化、自主化和智能化等方面的飞速发展，软件在整个系统中的重要性日益提高，软件的规模越来越大、关键程度越来越高，软件的质量与可靠性已经成为影响航天产品质量与可靠性的重要因素。软件测试是目前普遍采用的提高软件质量的重要手段，是软件质量保证工作中的重要环节之一[1]。

嵌入式软件测试主要有真实环境测试、半实物仿真环境测试和全数字仿真环境测试。真实环境测试和半实物仿真环境测试依赖于嵌入式软件的硬件环境，在硬件条件不具备的情况下很难开展软件测试工作。因此，目前很多研究针对嵌入式软件的全数字仿真环境测试，此类测试可以脱离嵌入式软件的硬件环境，可以尽早的开展软件测试工作。全数字仿真测试平台是嵌入式软件测试中常用的测试工具，它的优点是透明性好、可控性强、易于注入测试数据，对小概率、安全关键功能的测试可以提供有效的手段支持。另外，被测软件代码不需要插桩，在不做任何改动的情况下，就可以完成对被测软件的非侵入式测试[2]。

在现阶段，全数字仿真测试平台都应用于针对单处理器嵌入式软件的配置项级的测试，并且能够很好地仿真多种类型处理器内核芯片、片上设备以及双口、串口和1553等多种硬件设备。测试人员通过编写脚本语言来注入数据和故障，能够利用平台高效、准确地完成测试工作。……