基于程序切片的Java異常分析與應(yīng)用.pdf

1、Java異常處理結(jié)構(gòu)是Java程序的一個(gè)重要組成部分，在給程序編寫帶來便利，提高可靠性的同時(shí)，也帶來了復(fù)雜的控制依賴和數(shù)據(jù)依賴。Java異常處理結(jié)構(gòu)的存在使得程序開發(fā)人員在軟件調(diào)試、維護(hù)和測(cè)試過程中分析和理解代碼的難度大大增加。
　　基于程序切片的Java異常分析工具是在 Eclipse平臺(tái)的基礎(chǔ)上進(jìn)行開發(fā)的，其實(shí)現(xiàn)形式為Ec lipse插件。與當(dāng)前常用的Java靜態(tài)切片工具不同的是，基于程序切片的Java異常分析工具根據(jù)程序切片

2、算法和 Java異常處理結(jié)構(gòu)的特點(diǎn)，舍棄了不再使用基于依賴圖和數(shù)據(jù)流方程的切片算法，而是利用基于信息流的程序切片算法來實(shí)現(xiàn)靜態(tài)分析。首先通過使用Eclipse的JDT技術(shù)構(gòu)建代碼的抽象語法樹。接著使用語法樹解析技術(shù)獲取抽象語法樹中包含的代碼文本信息和結(jié)構(gòu)信息，并構(gòu)建方法的控制流程圖。然后通過基于信息流的程序切片算法，分析Java源程序中變量和表達(dá)式、表達(dá)式和變量、變量和變量之間的關(guān)系，完成對(duì)Java異常處理結(jié)構(gòu)的程序切片的計(jì)算，其切片準(zhǔn)

3、則由Java異常處理結(jié)構(gòu)來確定。最后將包含異常處理結(jié)構(gòu)的類和方法、Java異常處理結(jié)構(gòu)的程序切片結(jié)果分別以文本形式保存在Java項(xiàng)目的文件目錄下。
　　針對(duì)基于程序切片的Java異常分析工具的關(guān)鍵功能模塊進(jìn)行單元測(cè)試，將工具計(jì)算的程序切片結(jié)果和基于數(shù)據(jù)流方程的程序切片算法計(jì)算的結(jié)果相比較，驗(yàn)證了工具的準(zhǔn)確性。同時(shí)，以開源項(xiàng)目quartz為測(cè)試數(shù)據(jù)進(jìn)行集成測(cè)試，測(cè)試結(jié)果表明，基于程序切片的Java異常分析工具可以幫助軟件開發(fā)者在分析