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

发布时间：2023-10-17 19:47

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

【文章页数】：4 页

【文章目录】：
0 引言
1 建模
2 基于覆盖的测试算法
    2.1 结构性测试
        2.1.1 基于路径的测试
        2.1.2 数据流测试
        2.1.3 片测试
    2.2 功能性测试
        2.2.1 基于边界值的方法
        2.2.2 定义相应等价类
        2.2.3 使用决策表分析
3 实例验证
    3.1 结构性测试采用基于覆盖的测试算法
    3.2 功能测试采用基于覆盖的测试算法
4 结论



本文编号：3854898