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

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

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



本文編號(hào)：3854898