王 洋 薛 静 刘春龙 武咏晗

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

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

根据QJA30A的要求，需要针对航天型号软件进行软件配置项测试和系统测试[2]。在配置项测试时通常采用全数字仿真测试平台作为测试工具，该工具的优点是透明性好，可控性强，易于注入测试数据，对小概率、安全关键功能的测试可以提供有效的手段支持。另外，被测软件代码不需要插桩，在不做任何改动的情况下，就可以完成对被测软件的非侵入式测试[3]。这种方法能够较好地验证被测软件内部的功能和性能特性，在软件系统复杂度较低的前提下，通过配置项测试可以得到较好的验证效果，但是配置项测试是一种较为孤立的测试，难以发现软件系统中配置项之间的接口和时序匹配方面可能存在的缺陷。

随着航天系统复杂度提高，系统状态空间与软件运行剖面的数量膨胀，由于很多问题都是各子系统之间时序与运行状态不匹配造成，因此系统级软件测试越来越重要。而现阶段的系统级软件测试仍然摆脱不了对硬件设备的依赖，故障仿真的难度大，很多情况下由于受限于安全性和成本，系统测试的覆盖性难以达到预期。……