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

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

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