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

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

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

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