新型軟件測(cè)試技術(shù)研究與實(shí)現(xiàn).pdf

1、軟件測(cè)試是保證軟件質(zhì)量和可靠性的主要手段，而測(cè)試數(shù)據(jù)的設(shè)計(jì)是軟件測(cè)試的重要環(huán)節(jié)，測(cè)試數(shù)據(jù)的自動(dòng)生成是其關(guān)鍵和難點(diǎn)。隨著軟件技術(shù)的發(fā)展，程序的規(guī)模逐漸增大，復(fù)雜度也逐漸增加。在軟件的開發(fā)過程中，完全依靠人力進(jìn)行分析測(cè)試效率太低，而且不能保證軟件質(zhì)量。測(cè)試過程中的一個(gè)主要問題是生成具有一定覆蓋度的測(cè)試數(shù)據(jù)，并且這些數(shù)據(jù)不屬于等價(jià)類。如果有一種工具能自動(dòng)地分析程序并且生成測(cè)試數(shù)據(jù)，將大大地提高軟件的可靠性并且節(jié)約大量的人力。目前自動(dòng)生成測(cè)試數(shù)

2、據(jù)的工具已有很多，但是大多數(shù)都有一定的局限性，不能完全自動(dòng)地生成測(cè)試數(shù)據(jù)，所能處理的數(shù)據(jù)類型也有限，也只能用于局部的單元測(cè)試。 本文首先簡(jiǎn)要介紹該領(lǐng)域的研究進(jìn)展，闡述了軟件自動(dòng)化的基本理論，著重對(duì)軟件測(cè)試的試探法的遺傳算法和馬爾科夫鏈模型進(jìn)行了深入研究，并在此基礎(chǔ)上提出了改進(jìn)，給出了新的測(cè)試用例的設(shè)計(jì)方法以及如何根據(jù)該方法自動(dòng)生成測(cè)試用例。 本文在遺傳算法的基礎(chǔ)上分析了自適應(yīng)遺傳算法，提出改進(jìn)了的自適應(yīng)遺傳算法，并對(duì)它們

3、分別進(jìn)行了仿真分析。同時(shí)引入了遺傳算法與模擬退火算法相結(jié)合的遺傳模擬退火算法，驗(yàn)證了遺傳模擬退火算法在搜索最優(yōu)問題上的優(yōu)越性。利用遺傳模擬退火算法提出了面向路徑的測(cè)試用例數(shù)據(jù)自動(dòng)生成方法和基于覆蓋率的測(cè)試用例方法。 馬爾科夫鏈?zhǔn)褂媚Ｐ褪怯秒S機(jī)過程模型來描述軟件的使用方式，基于馬爾科夫鏈模型的軟件統(tǒng)計(jì)測(cè)試方法首先構(gòu)造出軟件的馬爾科夫鏈?zhǔn)褂媚Ｐ?，描述軟件的使用方式，并結(jié)合遺傳模擬退火算法自動(dòng)生成狀態(tài)轉(zhuǎn)移概率矩陣，用于指導(dǎo)測(cè)試用例的生