一種ＪＡＶＡ程序靜態(tài)切片的方法
2005-04-29 00:00:00ＭａｒｔｉｎＡ．Ｎ．張大方繆力
計(jì)算技術(shù)與自動(dòng)化 2005年3期
摘 要：JAVA語(yǔ)言是目前一種主要的面向?qū)ο缶幊陶Z(yǔ)言，由于JAVA語(yǔ)言復(fù)雜的結(jié)構(gòu)，使得對(duì)JAVA程序進(jìn)行程序切片非常困難。本文提出一種層次的構(gòu)造JAVA系統(tǒng)依賴(lài)圖的算法，基于JAVA程序本身的層次結(jié)構(gòu)，自頂向下構(gòu)造系統(tǒng)依賴(lài)圖，然后基于構(gòu)造的系統(tǒng)依賴(lài)圖，用一種改進(jìn)的兩階段算法得到JAVA程序切片。
關(guān)鍵詞：JAVA程序；程序切片；系統(tǒng)依賴(lài)圖
中圖分類(lèi)號(hào)：TP312
文獻(xiàn)標(biāo)識(shí)碼：A
文章編號(hào)：1003—6199(2005)03—0069—03
