面向?qū)ο竽嫦蚬こ讨袆?dòng)態(tài)模型的研究與設(shè)計(jì).pdf

1、隨著軟件規(guī)模的不斷擴(kuò)大和軟件工程復(fù)雜程度的不斷提升，人們對(duì)遺產(chǎn)系統(tǒng)的理解變得越來(lái)越困難，導(dǎo)致軟件維護(hù)成本高、復(fù)用率低的困境。軟件逆向工程的出現(xiàn)有效的緩解了這個(gè)局面。軟件逆向工程過(guò)程是從目標(biāo)系統(tǒng)中抽取數(shù)據(jù)，生成易于人們理解的高層抽象的過(guò)程。軟件逆向工程過(guò)程原動(dòng)力是對(duì)目標(biāo)系統(tǒng)的理解，目的是為用戶提供一個(gè)在代碼之上的描述目標(biāo)系統(tǒng)的抽象形式。
　　本文為幫助用戶理解目標(biāo)系統(tǒng)，在代碼層面之上提供了兩種形式的抽象：UML類圖和UML時(shí)序圖。U

2、ML類圖從目標(biāo)系統(tǒng)源程序的靜態(tài)結(jié)構(gòu)方面進(jìn)行了展示，而UML時(shí)序圖展示了目標(biāo)系統(tǒng)的某個(gè)側(cè)面的動(dòng)態(tài)行為模型，通過(guò)這兩個(gè)方面的展示幫助用戶對(duì)目標(biāo)系統(tǒng)有比較全面的認(rèn)識(shí)。
　　本文構(gòu)造靜態(tài)結(jié)構(gòu)模型過(guò)程可以分為詞法分析、語(yǔ)法分析、靜態(tài)關(guān)系獲取和靜態(tài)關(guān)系展現(xiàn)四個(gè)階段。在詞法分析階段，目標(biāo)系統(tǒng)的程序源碼被依次翻譯成一系列的單詞單元，然后將這些單詞序列輸入到語(yǔ)法分析程序執(zhí)行語(yǔ)法分析過(guò)程。在語(yǔ)法分析階段通過(guò)分析詞法分析過(guò)程生成的單詞序列構(gòu)造一棵語(yǔ)法分

3、析樹(shù)，再將語(yǔ)法分析樹(shù)輸入到靜態(tài)信息獲取程序獲取目標(biāo)系統(tǒng)的靜態(tài)模型。最后通過(guò)靜態(tài)關(guān)系展現(xiàn)程序?qū)㈧o態(tài)模型在Eclipse平臺(tái)中展現(xiàn)出來(lái)。為適應(yīng)逆向工程的需求，本文研究和設(shè)計(jì)了一棵以語(yǔ)句為基本單元的語(yǔ)法分析樹(shù)。通過(guò)使用這種語(yǔ)法分析樹(shù)可以方便的獲取其中的靜態(tài)信息。
　　在動(dòng)態(tài)模型構(gòu)造方面，本文采用在源碼中植入軟觸發(fā)器的方式獲取動(dòng)態(tài)信息。在觸發(fā)器植入過(guò)程中，本文結(jié)合靜態(tài)分析階段生成的語(yǔ)法樹(shù)，研究和設(shè)計(jì)了一種優(yōu)化策略減少插入代碼，從而減少對(duì)源