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

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

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

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

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

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