隨機測試用例的自動化生成和約簡.pdf

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

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

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