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

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

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

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