一種基于程序切片的測試用例集約簡方法研究.pdf

1、軟件測試貫穿于軟件開發(fā)的整個過程，是軟件開發(fā)過程中耗時最長，耗資最多的一個階段。軟件測試通過運行相應的測試用例來發(fā)現(xiàn)軟件程序中的錯誤，進而為開發(fā)人員或維護人員提供軟件維護的必要依據(jù)，在軟件測試階段需要更多的發(fā)現(xiàn)程序中的錯誤，能發(fā)現(xiàn)錯誤的軟件測試才是有價值的。
　　 隨著軟件版本的不斷升級以及軟件規(guī)模的不斷擴大，軟件測試過程中所需的測試用例集規(guī)模也在不斷擴大，運行與維護這些測試用例集是需要代價的，用例集規(guī)模的擴大必然會帶來運行及維

2、護成本的增加。然而在這些用例集中，可能存在很大一部分冗余用例，它們的存在對軟件測試本身毫無意義，可以通過刪除這些冗余測試用例來降低軟件開發(fā)的成本，也就是可以在已有測試用例集中找出它的一個子集來對源程序進行測試，這個測試子集必須要滿足和原始測試用例集具有相同的測試覆蓋度。目前已有很多方法來約簡測試用例集，其中包括很多啟發(fā)式算法：如貪心算法、HGS算法、GRE算法、GE算法等，實驗證明這些方法都可以有效的約簡測試用例集的規(guī)模。測試用例集規(guī)模

3、的約簡會產(chǎn)生一個新的問題，那就是隨著這些冗余測試用例的刪除，約簡后測試用例集的錯誤檢測能力也會減弱，且減弱的程度是隨約簡規(guī)模的增大而增加的。怎樣在保證約簡后測試用例集錯誤檢測能力的基礎上約簡原始測試用例集就是本文研究的主要內(nèi)容。
　　 本文在分析、總結(jié)之前學者研究成果的基礎上，引入了程序切片的思想，找到程序中那些可能會引起程序錯誤，但是使用一般的測試用例來檢測，測試結(jié)果不可靠的語句節(jié)點作為程序的關鍵點，從關鍵點開始根據(jù)本文構(gòu)造的

4、切片依賴圖對這些點進行切片，從而分析得出使這些關鍵點出錯的變量輸入值的取值范圍，并利用這些取值范圍作為選擇保留冗余測試用例思想中的一個測試充分性準則，用它來選取部分冗余用例，以此來使約簡后測試用例集的錯誤檢測能力保持在一定的水平之上。最后通過仿真實驗來驗證這個方法是有效的，能達到既約簡測試用例集規(guī)模又保持約簡后用例集錯誤檢測能力的要求。
　　 本文主要完成了以下幾個方面的研究工作：
　　 ⑴提出了程序關鍵點的定義并就運算

5、類程序給出了關鍵點的分類。
　　 ⑵提出一種新的用于程序切片的依賴圖構(gòu)造方法。
　　 ⑶對程序關鍵點進行切片并分析使得它們出錯的變量輸入值取值范圍，并將這個范圍作為一種測試用例集約簡的覆蓋準則。
　　 ⑷結(jié)合本文研究內(nèi)容改進選擇保留冗余測試用例思想，并將其形式化為算法。
　　 ⑸設計并實現(xiàn)兩個仿真實驗，第一個用來驗證本文構(gòu)造的切片依賴圖不會影響程序切片的正確性，另一個用來驗證本文方法針對所研究的程序類型來