語義描述集成環(huán)境研究.pdf

1、軟件理解方法和工具的研究是當(dāng)前軟件產(chǎn)業(yè)的重要課題。軟件理解就是通過一定的工具和方法來弄清一個(gè)軟件是“做什么”以及“如何做”，是開發(fā)軟件系統(tǒng)構(gòu)筑體系含義和行為的智力模型的過程。理解一個(gè)軟件系統(tǒng)實(shí)際上是抽象該系統(tǒng)的更高層描述的過程。抽象過程的目標(biāo)產(chǎn)品就是軟件理解模型，軟件理解模型包含來自現(xiàn)實(shí)世界的對象及其相互關(guān)系，而忽略程序設(shè)計(jì)領(lǐng)域中一些不太重要的細(xì)節(jié)。 蘊(yùn)涵在軟件源代碼中的語義是軟件程序的語法和詞法的隱表達(dá)，它是軟件編制者的設(shè)計(jì)意

2、圖與設(shè)計(jì)決策在軟件開發(fā)過程中的直接體現(xiàn)，也是人類思維向機(jī)器思維轉(zhuǎn)換的高層產(chǎn)物，因此從程序的語義中抽取符合人類思維過程的設(shè)計(jì)思想與設(shè)計(jì)決策將是一條直接有效的途徑。同時(shí)從這一角度出發(fā)來探索能夠?qū)崿F(xiàn)軟件理解自動(dòng)化、智能化的算法和工具必定有著十分重大的意義。另外，近年來，程序語言發(fā)展得很快，出現(xiàn)了很多的語言，語言的功能和結(jié)構(gòu)也有了本質(zhì)的改變。程序理解工具必須能夠適應(yīng)這種多語言多功能的變化。因此，本論文著重探討建立一個(gè)語義描述集成環(huán)境，能夠處理多

3、種程序語言，從軟件源代碼中提取用戶關(guān)心的語義信息，幫助用戶準(zhǔn)確、迅速、全面、多層次地理解軟件系統(tǒng)。 本文的主要工作： 1.提出語義描述集成環(huán)境模型。針對當(dāng)前的軟件理解工具存在的不足，提出語義描述集成環(huán)境模型。語義描述集成環(huán)境模型在文法基礎(chǔ)上提供軟件理解和分析技術(shù)的通用支撐環(huán)境，在該環(huán)境上能夠應(yīng)用較廣泛的軟件理解和分析技術(shù)從軟件源代碼中提取用戶關(guān)心的語義信息，并通過說明或圖形可視化地顯示，從而能夠幫助用戶快速地理解軟件。