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

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

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

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