面向JAVA的程序CHOPPING及應(yīng)用研究.pdf

1、測(cè)試和調(diào)試之間的關(guān)系是極端密切的。在程序中找出錯(cuò)誤是一個(gè)復(fù)雜的過(guò)程，它涉及到理解程序的用途、結(jié)構(gòu)、語(yǔ)意和導(dǎo)致錯(cuò)誤的測(cè)試的相關(guān)特征。程序切片、程序Chopping技術(shù)作為程序分析技術(shù)可應(yīng)用在程序理解、測(cè)試、調(diào)試等方面。本文提出了一種基于程序Chopping技術(shù)進(jìn)行錯(cuò)誤定位的方法。這種方法反復(fù)利用調(diào)試信息和回歸測(cè)試結(jié)果，通過(guò)從程序中抽取出與特定的語(yǔ)句有關(guān)的相對(duì)原來(lái)的程序少得多的語(yǔ)句集，實(shí)現(xiàn)準(zhǔn)確、快速錯(cuò)誤定位。 程序Chopping是

2、一種比程序切片更精確的程序分析技術(shù)，它能識(shí)別程序中從某一特定語(yǔ)句到另一特定語(yǔ)句由于傳遞性依賴而涉及的語(yǔ)句?，F(xiàn)存的程序Chopping算法主要基于相互連接的系統(tǒng)依賴圖(SDG，SystemDependenceGraph)，而這種SDG的描述通常是非常復(fù)雜的，特別是大程序。本文基于一種帶有標(biāo)簽的Java程序的描述，對(duì)Java程序依賴性進(jìn)行了分析并給出了一種程序Chopping算法。這些算法在檢查邊的同時(shí)，還檢查邊上的標(biāo)簽；并能把方法間的程序

3、Chopping問(wèn)題轉(zhuǎn)換到方法內(nèi)進(jìn)行分析，程序依賴圖具有結(jié)點(diǎn)少、可重用、可并發(fā)構(gòu)造等優(yōu)點(diǎn)。 程序分析是軟件測(cè)試的基礎(chǔ)與前提，Java語(yǔ)言是目前應(yīng)用廣泛的一種計(jì)算機(jī)語(yǔ)言，缺乏程序分析的工具。因此開(kāi)發(fā)一個(gè)對(duì)Java程序進(jìn)行分析，計(jì)算切片和Chop的工具具有重要的意義?；谶@種思想，本文實(shí)現(xiàn)了一個(gè)Java程序分析與Chopping原型系統(tǒng)，該系統(tǒng)是一個(gè)自動(dòng)對(duì)Java程序進(jìn)行分析、程序Chopping的工具。系統(tǒng)能夠?qū)τ脩糨斎氲腏ava