面向?qū)ο蟪绦騽討B(tài)切片系統(tǒng)的研究與實現(xiàn).pdf

1、程序切片技術(shù)是一種分析和理解程序的技術(shù)，具有可以簡化問題，縮小目標范圍的特點，在軟件維護、程序調(diào)試、測試、代碼理解等諸多領(lǐng)域有著廣泛的應(yīng)用。 面向?qū)ο蠹夹g(shù)在軟件工程中起著越來越重要的作用，面向?qū)ο蟪绦蚺c面向過程程序相比，更加靈活、可復(fù)用和易維護。然而面向?qū)ο蟪绦蛱赜械膶哟谓Y(jié)構(gòu)以及類、繼承、多態(tài)等特性，使得傳統(tǒng)的切片方法并不適用。面向?qū)ο蟪绦虻暮芏嘈畔o法在編譯階段確定，意味著面向?qū)ο箪o態(tài)切片一定存在著很多冗余。動態(tài)切片方法利用了

2、動態(tài)信息，可以有效的解決面向?qū)ο蟪绦蚯衅膹?fù)雜性問題。 面向?qū)ο蟪绦蚍治鲞^程中，動態(tài)切片技術(shù)的研究比較晚，目前除了少數(shù)學(xué)者做了一些這方面的研究外，理論和應(yīng)用的研究都處于初始階段。本文以當前流行的C++語言為研究對象，分析了面向?qū)ο蟮奶匦裕岢隽嗣嫦驅(qū)ο髣討B(tài)系統(tǒng)依賴圖(OODSDG)，OODSDG充分的利用了程序的動態(tài)信息，簡化了系統(tǒng)依賴圖。 在OODSDG的基礎(chǔ)上，本文提出了一種自下而上的面向?qū)ο蟪绦騽討B(tài)切片算法，應(yīng)用程