針對航天軟件高可靠性的特點(diǎn),構(gòu)建一種輸入與輸出模型測試方案,提出基于覆蓋測試算法的測試方法,測試覆蓋算法主要包含三種功能測試方法和三種結(jié)構(gòu)測試方法。功能測試主要使用基于邊界的方法、定義等價(jià)類、使用決策表分析三種方法。結(jié)構(gòu)測試主要使用基于路徑的測試、數(shù)據(jù)流測試、片測試三種方法。實(shí)例驗(yàn)證,該方法清晰明了、便于發(fā)現(xiàn)航天軟件缺陷、降低航天軟件開發(fā)風(fēng)險(xiǎn)與代價(jià)以及保證航天軟件質(zhì)量。

【文章頁數(shù)】：4 頁

【文章目錄】：
0 引言
1 建模
2 基于覆蓋的測試算法
    2.1 結(jié)構(gòu)性測試
        2.1.1 基于路徑的測試
        2.1.2 數(shù)據(jù)流測試
        2.1.3 片測試
    2.2 功能性測試
        2.2.1 基于邊界值的方法
        2.2.2 定義相應(yīng)等價(jià)類
        2.2.3 使用決策表分析
3 實(shí)例驗(yàn)證
    3.1 結(jié)構(gòu)性測試采用基于覆蓋的測試算法
    3.2 功能測試采用基于覆蓋的測試算法
4 結(jié)論



本文編號：3854898