面向?qū)ο竽嫦蚬こ讨袆討B(tài)模型的研究與設(shè)計.pdf

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

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

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