新聞中心

EEPW首頁 > 電源與新能源 > 設(shè)計應(yīng)用 > 基于面向?qū)ο蟪绦蚯衅能浖攘?/p>

基于面向?qū)ο蟪绦蚯衅能浖攘?/h1>
作者: 時間:2009-10-20 來源:網(wǎng)絡(luò) 收藏

1 引言
工程領(lǐng)域的一項分析技術(shù),在測試、、調(diào)試、維護(hù)以及逆向工程等方面有著廣泛應(yīng)用。通過技術(shù),人們在程序分析過程中可以重點關(guān)注那些感興趣的代碼或者變量。

本文引用地址:http://m.butianyuan.cn/article/181197.htm

2 程序技術(shù)
這里利用程序切片技術(shù)進(jìn)行。程序切片主要包括:
(1)語句切片該傳統(tǒng)的程序切片技術(shù)是一種條件切片,根據(jù)程序的順序、循環(huán)和選擇結(jié)構(gòu)進(jìn)行程序切片。
(2)無定型程序切片 其不僅在保存一個程序語義投影的同時簡化了程序,還可以使用任何簡化的轉(zhuǎn)換。而這些轉(zhuǎn)換保留了該語義映射。
(3)切片 把切片技術(shù)應(yīng)用于的系統(tǒng)相關(guān)圖和過程相關(guān)圖中,使對面向?qū)ο蟪绦虻拇a理解、測試、調(diào)試、逆向工程和分析變得相對容易嘲。

3 面向?qū)ο蟪绦蚯衅夹g(shù)
程序切片技術(shù)分面向過程和面向?qū)ο蟪绦蚯衅?。目前程序切片大都以系統(tǒng)依賴圖為基礎(chǔ),利用圖的可達(dá)性算法獲得。
3.1 SDG和OOSDG
系統(tǒng)依賴圖SDG(System Dependence Graph)用一組邊和頂點的集合表示一個程序。頂點表示程序的語句和控制謂詞,邊則表示語句之間的依賴關(guān)系。在SDG中有兩類邊:控制依賴邊和數(shù)據(jù)依賴邊。SDG是在控制流圖、數(shù)據(jù)流圖、控制依賴子圖、數(shù)據(jù)依賴子圖、過程依賴子圖和程序依賴圖的基礎(chǔ)上建立的一種語法分析樹,如圖1所示。

面向?qū)ο笠蕾噲DOOSDG(Obiect-Orientecl System Depen-dence Graph)是過程依賴子圖、類依賴子圖、類層次子圖、控制依賴子圖、數(shù)據(jù)依賴子圖和虛函數(shù)調(diào)用子圖幾種表示方法的并集.如圖2所示。


上一頁 1 2 3 下一頁


評論


相關(guān)推薦

技術(shù)專區(qū)

關(guān)閉