基于程序切片的軟件測試研究.pdf

1、軟件測試是人們發(fā)現(xiàn)，糾正，預(yù)防軟件錯誤以及完善軟件功能的重要手段。軟件測試的目的是為了發(fā)現(xiàn)程序中的錯誤，軟件測試的過程就是利用測試數(shù)據(jù)運行并發(fā)現(xiàn)軟件中錯誤的過程。隨著軟件規(guī)模的不斷增大，軟件測試的地位顯得越來越重要。 程序切片技術(shù)是一種分析和理解程序的技術(shù)，具有可以簡化問題，縮小目標(biāo)范圍的特點，在軟件維護、程序調(diào)試、測試、代碼理解等諸多領(lǐng)域有著廣泛的應(yīng)用?；诔绦蚯衅能浖y試是一種以程序或程序和需要相結(jié)合為基礎(chǔ)的測試，根據(jù)程序

2、的不同切片來縮小軟件的測試范圍，并提高軟件測試的效率。同時由于程序切片考慮程序存在的各種依賴關(guān)系（不僅僅是數(shù)據(jù)依賴和控制依賴），使得測試的準(zhǔn)確性得到提高。 目前，對于結(jié)構(gòu)測試中的不可達路徑問題，僅僅使用傳統(tǒng)的不可達路徑排除方法存在很多的限制性，而且效率低，積極選擇可達路徑的思想可有效地減少不可達路徑的產(chǎn)生。 本文系統(tǒng)地闡述了程序切片技術(shù)并研究了現(xiàn)有的研究成果，在已有可達路徑算法基礎(chǔ)上，引入了程序切片技術(shù)，提出了基于程序切