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

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

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

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