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

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

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