隨機(jī)測(cè)試用例的自動(dòng)化生成和約簡(jiǎn).pdf

1、軟件作為計(jì)算機(jī)的靈魂，在國(guó)民經(jīng)濟(jì)和社會(huì)生活等各方面都起著舉足輕重的作用。軟件質(zhì)量問(wèn)題直接影響各行業(yè)的正常運(yùn)作，軟件錯(cuò)誤輕則給用戶(hù)帶來(lái)不便，重則造成巨大經(jīng)濟(jì)損失甚至人員傷亡。軟件測(cè)試是保證軟件質(zhì)量和可靠性的重要手段，是軟件開(kāi)發(fā)中不可或缺的環(huán)節(jié)。隨著用戶(hù)對(duì)軟件產(chǎn)品質(zhì)量的要求不斷提高以及軟件工程技術(shù)的日益成熟，軟件測(cè)試在整個(gè)軟件開(kāi)發(fā)周期中所占的比重越來(lái)越大。而設(shè)計(jì)測(cè)試用例是軟件測(cè)試的核心問(wèn)題，軟件測(cè)試的好壞很大程度上取決于測(cè)試用例的質(zhì)量和數(shù)量

2、。設(shè)計(jì)測(cè)試用例往往需要手工完成，耗時(shí)長(zhǎng)且效率低。因此，設(shè)計(jì)實(shí)現(xiàn)一種高質(zhì)量的測(cè)試用例自動(dòng)化生成工具，對(duì)于提高軟件測(cè)試的效率和質(zhì)量具有重要的研究意義和應(yīng)用價(jià)值。
　　 本文針對(duì)測(cè)試用例生成這一核心問(wèn)題，整合隨機(jī)測(cè)試和不變量提取技術(shù)，設(shè)計(jì)實(shí)現(xiàn)了一個(gè)完全自動(dòng)化的測(cè)試用例生成框架工具。在分析了隨機(jī)測(cè)試優(yōu)缺點(diǎn)的基礎(chǔ)上，著重利用隨機(jī)測(cè)試自動(dòng)化程度高的優(yōu)點(diǎn)，1)使用預(yù)設(shè)值技術(shù)來(lái)提高隨機(jī)測(cè)試的覆蓋率，且支持用戶(hù)自定義預(yù)設(shè)值，可擴(kuò)展性強(qiáng)；2)實(shí)現(xiàn)了

3、復(fù)雜類(lèi)型數(shù)據(jù)的遞歸生成，適用范圍更廣；3)引入錯(cuò)誤測(cè)試用例過(guò)濾機(jī)制，保證測(cè)試用例的正常執(zhí)行；4)不變量是程序執(zhí)行過(guò)程中保持不變的邏輯斷言，是對(duì)程序?qū)傩缘囊环N描述。利用這一特性，實(shí)現(xiàn)了基于不變量變化的約簡(jiǎn)算法，對(duì)隨機(jī)生成的測(cè)試用例進(jìn)行有效的約簡(jiǎn)，使得最終生成的測(cè)試用例規(guī)模適度；5)為測(cè)試用例生成提供了新的終止標(biāo)準(zhǔn)，解決了以往以時(shí)間為限制條件的缺點(diǎn)。最終的程序輸出包括三部分：可用于人工排錯(cuò)或回歸測(cè)試的正常測(cè)試用例，能夠揭示程序缺陷的錯(cuò)誤測(cè)試