基于程序切片的軟件測(cè)試研究.pdf

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

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