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

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

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

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