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

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

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

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

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