C++程序動(dòng)態(tài)切片系統(tǒng)的研究與實(shí)現(xiàn).pdf

1、程序切片技術(shù)是一種分析和理解程序的技術(shù)，其中面向過程程序切片技術(shù)已趨于成熟。但是面向?qū)ο蟪绦蚯衅夹g(shù)，特別是面向?qū)ο蟪绦騽?dòng)態(tài)切片技術(shù)起步較晚，目前仍處于初始階段。傳統(tǒng)的算法是通過建立程序的依賴圖得到動(dòng)態(tài)切片，但依賴圖需要占用大量的空間，因此算法效率較低。Xiangyu Zhang等提出的LP(Limited Preprocess)動(dòng)態(tài)切片算法既利用了程序中的依賴性信息，又不需要建立依賴圖，具有節(jié)省內(nèi)存空間，算法效率高的優(yōu)點(diǎn)，但LP算法只

2、能對(duì)面向過程程序進(jìn)行切片。 本文對(duì)面向?qū)ο髣?dòng)態(tài)程序切片技術(shù)進(jìn)行了深入的研究，在利用LP算法優(yōu)點(diǎn)點(diǎn)的基礎(chǔ)上，結(jié)合C++語(yǔ)言特性對(duì)這個(gè)算法進(jìn)行改進(jìn)，提出了適合面向?qū)ο驝++程序的動(dòng)態(tài)切片算法。該算法擴(kuò)展了函數(shù)的概念，把類的函數(shù)成員看作全局函數(shù)，解決了對(duì)函數(shù)成員進(jìn)行切片的問題；擴(kuò)展了函數(shù)調(diào)用的概念，把給對(duì)象發(fā)送消息看作函數(shù)調(diào)用，解決了C++程序中隱式調(diào)用函數(shù)的問題；采用了“object-variable”形式存儲(chǔ)感興趣的變量，解決了L

3、P算法無(wú)法區(qū)分普通變量，對(duì)象的成員數(shù)據(jù)和對(duì)象變量的問題。改進(jìn)后的算法可以有效地處理C++程序的多態(tài)，繼承和封裝等特性，和別的C++動(dòng)態(tài)切片算法相比有較高的效率。 在提出的算法基礎(chǔ)上，設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)C++程序動(dòng)態(tài)切片原型系統(tǒng)(CPP_SLICER)，該系統(tǒng)應(yīng)用本文所研制的詞法、語(yǔ)法分析器得到C++程序中的信息，應(yīng)用程序插裝技術(shù)得到程序的執(zhí)行序列。經(jīng)測(cè)試，該系統(tǒng)能夠正確處理C++語(yǔ)言的特性。最后，為了使本系統(tǒng)能更好地應(yīng)用到程序調(diào)試