面向?qū)ο蟮念悳y試用例自動生成技術(shù)的研究與應(yīng)用.pdf

1、近年來,隨著計算機(jī)應(yīng)用領(lǐng)域的擴(kuò)大,在使用計算機(jī)軟件的過程中,對軟件質(zhì)量的要求也隨之相應(yīng)提高。軟件質(zhì)量低會導(dǎo)致各種問題,帶來不同程度的后果,甚至?xí)斐蓢?yán)重事故或財產(chǎn)損失。軟件測試可以保障軟件質(zhì)量,傳統(tǒng)的軟件測試方法和理論已有了較顯著成果。但面向?qū)ο蠹夹g(shù)的應(yīng)用使得傳統(tǒng)的軟件測試方法已經(jīng)不再適用,其中類是面向?qū)ο筌浖到y(tǒng)的基本組成單位,無疑成為面向?qū)ο蠹夹g(shù)開發(fā)軟件中的測試重點(diǎn)。鑒于此,本文作了如下的研究:
　　首先,分析了傳統(tǒng)的軟件測試

2、方法,對面向?qū)ο箝_發(fā)技術(shù)新特點(diǎn)對軟件測試的影響、面向?qū)ο筌浖臏y試模型和測試層次、類測試已有的相關(guān)方法進(jìn)行了闡述,總結(jié)了已有的測試用例生成方法和類測試中測試用例所需的測試序列、測試數(shù)據(jù)的生成方法,闡述了軟件測試中測試用例的充分性、有效性的覆蓋標(biāo)準(zhǔn)。
　　其次,介紹了本論文采用的生成測試序列技術(shù)UML圖(Unified Modeling Language)和UML狀態(tài)圖的相關(guān)知識。針對類測試中測試序列的生成,設(shè)計了先將軟件需求規(guī)格說

3、明轉(zhuǎn)化為對應(yīng)的UML狀態(tài)圖,對圖進(jìn)行改進(jìn)的深度、廣度搜索遍歷生成測試樹,然后對測試樹進(jìn)行深度遍歷到每個葉子結(jié)點(diǎn)即結(jié)束狀態(tài),得到的遍歷序列就是覆蓋全面且不冗余的類測試序列。對得到的類Engine()的狀態(tài)圖進(jìn)行實驗分析得到了對應(yīng)的測試序列,證明了該方法用于生成測試序列高效、快捷。
　　最后,設(shè)計了將模擬退火算法中的Metropolis準(zhǔn)則引入到遺傳算法的選擇階段,兩種算法混合應(yīng)用于測試數(shù)據(jù)的自動生成,通過經(jīng)典三角形類型判斷程序進(jìn)行實