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

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

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

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