一種基于領(lǐng)域本體的程序理解方法研究.pdf

1、程序理解活動(dòng)是軟件維護(hù)工作中的一個(gè)重要步驟。然而由于不完整文檔和系統(tǒng)本身的復(fù)雜性,程序理解活動(dòng)往往會(huì)耗費(fèi)軟件維護(hù)人員大量時(shí)間和精力。因此,探索行之有效的輔助程序理解的方法一直是軟件維護(hù)研究領(lǐng)域一個(gè)重要話題。
　　本文針對(duì)面向?qū)ο筌浖到y(tǒng),提出了一種基于領(lǐng)域本體的程序理解方法。該方法首先形式化的定義了領(lǐng)域本體的元模型,使得領(lǐng)域?qū)＜铱梢岳迷撛Ｐ兔枋鰳I(yè)務(wù)領(lǐng)域的基本概念。接著,結(jié)合靜態(tài)代碼分析技術(shù)和基于本體上下文的推理,設(shè)計(jì)了一個(gè)交互

2、式的本體標(biāo)注過(guò)程。該方法在軟件維護(hù)人員的幫助下,可以準(zhǔn)確地在源代碼中識(shí)別出實(shí)現(xiàn)相應(yīng)業(yè)務(wù)邏輯或業(yè)務(wù)概念的代碼單元。在本體標(biāo)注過(guò)程中,借助本體中針對(duì)實(shí)例的關(guān)系斷言可以發(fā)現(xiàn)潛在的維護(hù)人員對(duì)業(yè)務(wù)語(yǔ)義或代碼的錯(cuò)誤理解,幫助他們糾正這些錯(cuò)誤,并且能發(fā)現(xiàn)代碼中可能出現(xiàn)的不合理設(shè)計(jì)。該本體標(biāo)注過(guò)程的結(jié)果是建立一個(gè)源代碼知識(shí)庫(kù),包含了代碼和領(lǐng)域概念的對(duì)應(yīng)關(guān)系。
　　代碼知識(shí)庫(kù)建立之后,為了幫助未來(lái)新參與到軟件維護(hù)任務(wù)中的維護(hù)人員利用該知識(shí)庫(kù)更快更好