航天软件测试模型构建与应用

针对航天软件高可靠性的特点,构建一种输入与输出模型测试方案,提出基于覆盖测试算法的测试方法,测试覆盖算法主要包含三种功能测试方法和三种结构测试方法。功能测试主要使用基于边界的方法、定义等价类、使用决策表分析三种方法。结构测试主要使用基于路径的测试、数据流测试、片测试三种方法。实例验证,该方法清晰明了、便于发现航天软件缺陷、降低航天软件开发风险与代价以及保证航天软件质量。

Construction and Application of Aerospace Software Testing Model

Aiming at the high reliability of aerospace software, an input-output model test scheme is constructed and a test method based on coverage test algorithm is proposed. The test coverage algorithm mainly includes three functional test methods and three structural test methods. Functional testing mainly uses boundary-based methods, defining equivalence classes and using decision table analysis. Structural testing mainly uses path-based testing, data flow testing and chip testing. The example shows that this method is clear, easy to find the defects of aerospace software, reduce the risk and cost of aerospace software development and ensure the quality of aerospace software.