面向理解的OORE關(guān)鍵技術(shù)研究.pdf

1、面向?qū)ο蠹夹g(shù)將數(shù)據(jù)結(jié)構(gòu)和在數(shù)據(jù)結(jié)構(gòu)上的操作結(jié)合起來,使得軟件系統(tǒng)更容易維護(hù)、擴(kuò)充,對系統(tǒng)的分析過程也更符合人類的思維模式.但OO技術(shù)不是萬能藥,OO中的繼承、多態(tài)、動態(tài)綁定的使用導(dǎo)致OO軟件內(nèi)組件關(guān)系復(fù)雜,而對面向?qū)ο髾C(jī)制的不加選擇的使用和分析設(shè)計方法中的缺陷也快速導(dǎo)致了新一代的不靈活的遺產(chǎn)系統(tǒng).OO軟件系統(tǒng)的維護(hù)、重工程、重用、重結(jié)構(gòu)和演化已經(jīng)成為關(guān)鍵的事務(wù),而支持這些活動,輔助OO軟件理解的面向?qū)ο筌浖嫦蚬こ?OORE)的技術(shù)研究

2、和工具研制也越來越重要.軟件逆向工程本身是一個設(shè)計知識發(fā)現(xiàn)、知識抽象的過程,而面向?qū)ο筌浖蛡鹘y(tǒng)軟件相比有著自己的語言特點和不同的設(shè)計知識內(nèi)容.文中通過對面向?qū)ο蟪绦蛑兄R類別和逆向工程過程的分析,總結(jié)出了OORE的基本知識內(nèi)容,并以此為分類線索綜述了目前此領(lǐng)域中具有代表性的技術(shù)、工具和研究方向.許多逆向工程研究在采用技術(shù)上沒有能堅持以輔助理解為核心,該文以輔助理解為最高目標(biāo),研究了OORE的幾個關(guān)鍵技術(shù),并提出了面向理解的逆向工程框架

3、AUTOORE,它針對OO軟件的特點,構(gòu)建時更多強(qiáng)調(diào)的是高層的抽象,以及對軟件理解的支持.代碼抽取是OORE的起點,從起點開始支持理解是逆向工程的重要目標(biāo),AUTOORE在Java抽取中,抽取模型采用文中提出的Java詞法和語義兩個模型,利用一個基于Java擴(kuò)展類層次圖(ECHG)的多態(tài)調(diào)用點分析算法,得到更精確的靜態(tài)對象關(guān)系.抽取過程有三個階段:構(gòu)造系統(tǒng)的ECHG,掃描程序的源代碼和多態(tài)點分析得到系統(tǒng)的詞法層次模型,通過基于規(guī)則的推理

4、轉(zhuǎn)換詞法模型為語義模型.抽象是AUTOORE的核心,它首次采用對象系統(tǒng)的語義關(guān)系抽取數(shù)據(jù)為輸入,利用基于MST表示的、聚集目標(biāo)結(jié)合了程序認(rèn)知心理學(xué)理論的軟件聚集方法,得到一個具有豐富語義的、組織為樹狀的、分層的聚集集合.文中還提出了對OO類之間的語義關(guān)系進(jìn)行量化、壓縮的方法,并對OO類聚集中關(guān)系的類型語義的相對權(quán)重進(jìn)行了試驗研究.OO系統(tǒng)中類是關(guān)鍵的軟件對象,輔助高效理解類是OORE中的一個重要環(huán)節(jié).文中依據(jù)學(xué)習(xí)構(gòu)造理論提出了一個類的理