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

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

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