Testbed套件在航天嵌入式软件中的应用

Application of Testbed Kits in Embedded Aerospace Software

随着航天技术的发展,航天软件的结构也越来越复杂,仅靠软件测试人员的人工统计分析已不能有效地对被测航天软件作出准确评价,使用高级的自动用例生成工具可以克服这些困难,但是完全的测试用例自动生成几乎是不可能的。本文介绍了人工设计测试用例和使用Testbed工具自动生成测试用例两种测试用例生成方法的优缺点,通过分析提出了一种Testbed测试工具辅助的测试用例设计方法,最后,以X型侦察处理DSP嵌入式软件为例,介绍了使用Testbed套件辅助测试用例生成和测试的具体方法步骤。

With the development of aerospace technologies, structure of aerospace software is becoming more and more complex; therefore the software can not be evaluated effectively and accurately only by manually statistic analysis of software testers. The advanced test cases auto - generation tools can be used to overcome these difficulties; however, fully automatic generation of test cases is almost impossible. The advantages and disadvantages of test cases generation by manual design and by using of Testbed tools are analyzed ; and a test cases design approaches with the aid of Testbed kits is presented. Test cases generation and test procedures with the aid of Testbed kits are introduced in detail by taking embedded software for a X-reconnaissance digital signal processing （DSP） as an example.