包含異常處理的Java程序切片研究.pdf

1、程序切片是一種分析和理解程序的技術(shù)，通過分析程序語句之間的依賴性關(guān)系自動分解源程序。程序切片技術(shù)在軟件工程領(lǐng)域有廣泛的應(yīng)用，例如程序理解、調(diào)試、維護(hù)、測試以及反向工程等。Java系統(tǒng)依賴圖(JSDG)可以用來表示Java程序，在Java系統(tǒng)依賴圖中，結(jié)點(diǎn)表示語句或者謂詞，邊表示控制和數(shù)據(jù)依賴關(guān)系。利用Java系統(tǒng)依賴圖，我們可以有效地計算程序切片。 Exception是一類用于錯誤處理的特殊對象，它在Java方法出錯時被創(chuàng)建，并

2、利用try/catch/finally機(jī)制拋出、檢測和處理異常。當(dāng)前的程序切片算法都不能正確有效地處理異常結(jié)構(gòu)，因為它們沒有或不能正確的考慮異常引入的附加數(shù)據(jù)和控制依賴關(guān)系。 在本文中討論了異常結(jié)構(gòu)對程序控制依賴和數(shù)據(jù)依賴的影響，采用了一種新的策略來處理異常結(jié)構(gòu)。新策略將try、catch、finally塊視為方法，并將可能拋出異常的調(diào)用點(diǎn)視為謂詞結(jié)點(diǎn)，這樣可以表示異常對象附加的數(shù)據(jù)和控制依賴關(guān)系，構(gòu)造出包含異常處理結(jié)構(gòu)的Jav

3、a系統(tǒng)依賴圖。本文還提出了另外一種方法，為每個調(diào)用點(diǎn)增加正常返回結(jié)點(diǎn)，對于可能拋出異常的調(diào)用點(diǎn)增加異常返回結(jié)點(diǎn)；為每個方法增加正常退出結(jié)點(diǎn)，對于可能拋出異常的方法增加異常退出結(jié)點(diǎn)，并將異常調(diào)用的返回結(jié)點(diǎn)視為謂詞結(jié)點(diǎn)，用這種方法構(gòu)造的系統(tǒng)依賴圖更加精確。文章還給出了適合這種系統(tǒng)依賴圖構(gòu)造的一些相關(guān)算法。 本文還給出了一種源程序分析框架，利用JavaCC和JTB生成語法分析器和訪問器，實現(xiàn)對源程序信息的提取，并定義了一系列層次化的類