消息傳遞并行程序的弱變異測(cè)試.pdf

1、變異測(cè)試是一種有效的軟件測(cè)試方法，但高昂的測(cè)試代價(jià)，使其可行性和應(yīng)用范圍受到很大限制。消息傳遞并行程序是一類應(yīng)用廣泛的并行程序。為了保證該類程序的可靠性，有必要對(duì)其實(shí)施變異測(cè)試。消息傳遞并行程序不僅包含為數(shù)眾多的語句類型和通信函數(shù)，其執(zhí)行還具有不確定性和死鎖等特征，這使得消息傳遞并行程序的變異測(cè)試異常困難。因此，有必要提出降低該類程序變異測(cè)試代價(jià)的理論與方法。本文針對(duì)消息傳遞并行程序，分別從弱變異測(cè)試轉(zhuǎn)化、變異體約簡(jiǎn)，以及測(cè)試數(shù)據(jù)生成等

2、3個(gè)方面進(jìn)行研究。
　　首先，提出消息傳遞并行程序的弱變異測(cè)試轉(zhuǎn)化方法，將變異體殺死問題轉(zhuǎn)化為分支覆蓋問題。為此，根據(jù)消息傳遞并行程序不同類型的語句，采用針對(duì)性的方法構(gòu)建變異條件語句；在避免程序發(fā)生死鎖的前提下，將變異條件語句插入原程序中，形成新的被測(cè)程序，從而實(shí)現(xiàn)消息傳遞并行程序的弱變異測(cè)試轉(zhuǎn)化。該方法將變異體殺死問題轉(zhuǎn)化為分支覆蓋問題，為采用結(jié)構(gòu)覆蓋方法解決變異測(cè)試問題奠定了基礎(chǔ)。
　　其次，提出基于占優(yōu)度的變異體約簡(jiǎn)方

3、法，減少需要?dú)⑺赖淖儺愺w。為此，定義分支的占優(yōu)度，并給出各分支之間占優(yōu)度和各分支被占優(yōu)度的計(jì)算方法，用于分析分支之間的相關(guān)關(guān)系；基于占優(yōu)度和被占優(yōu)度，給出判斷冗余變異條件語句真分支的方法，并刪除與冗余分支對(duì)應(yīng)的變異體，以得到約簡(jiǎn)后的變異體。該方法不但能夠保證變異測(cè)試的有效性，還能夠提高變異測(cè)試的效率。
　　最后，針對(duì)變異測(cè)試數(shù)據(jù)生成問題，提出基于遺傳算法的消息傳遞并行程序變異測(cè)試數(shù)據(jù)自動(dòng)生成方法，以高效生成變異測(cè)試數(shù)據(jù)。為此，基于