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

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

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