面向?qū)ο筌浖悳y試用例自動生成研究及應(yīng)用.pdf

1、面向?qū)ο筌浖y試是面向?qū)ο筌浖_發(fā)過程中極其重要的一環(huán)，是保證軟件質(zhì)量、提高軟件可靠性的關(guān)鍵。隨著面向?qū)ο筌浖_發(fā)技術(shù)的快速發(fā)展，面向?qū)ο蟮奶卣魇沟脗鹘y(tǒng)的軟件測試技術(shù)已不能滿足需要，因而面向?qū)ο筌浖y試技術(shù)的研究與應(yīng)用己成為當(dāng)務(wù)之急。 面向?qū)ο蟮能浖y試分為四級:方法級測試、類級測試、類簇級測試和系統(tǒng)級測試。其中，類級測試是測試面向?qū)ο筌浖年P(guān)鍵。而測試用例的選擇又是進(jìn)行測試的一個難題，測試用例合適與否直接關(guān)系到錯誤能否被預(yù)期測

2、出。對于測試用例自動化生成方法，目前雖然有一些方法被提出并使用，但由于其局限性，在實際中還沒有完善的解決方法，只能憑借工程經(jīng)驗判斷。論文在對測試用例自動生成技術(shù)文獻(xiàn)綜述的基礎(chǔ)上，提出了一種面向?qū)ο箢悳y試用例自動生成的方法，并以此方法成功的開發(fā)了類測試用例自動生成系統(tǒng)。 本文具體分析了測試用例自動生成方法、類測試用例設(shè)計方法和類級測試策略，討論了類測試用例的組成部分:測試序列和測試數(shù)據(jù)，提出了基于UML狀態(tài)圖的測試序列生成方法和基

3、于遺傳算法的測試數(shù)據(jù)自動生成方法。本文闡述了將具有并發(fā)結(jié)構(gòu)的UML狀態(tài)圖展平為無并發(fā)結(jié)構(gòu)的擴展有限狀態(tài)機的方法，構(gòu)造了基于擴展有限狀態(tài)機的滿足狀態(tài)轉(zhuǎn)移覆蓋的測試序列，探討了針對指定測試序列利用遺傳算法作為核心搜索策略的測試數(shù)據(jù)生成的基本實現(xiàn)思路，提出了遺傳算法與測試問題的唯一接口——適應(yīng)度函數(shù)的構(gòu)造方法，并使用適應(yīng)度縮放法改進(jìn)了遺傳算法，不僅解決了算法的“早熟”問題，而且加快了算法的收斂速度，提高了搜索效率。 本文以遺傳算法為核