程序理解中靜態(tài)分析與抽取技術(shù)的研究及實(shí)現(xiàn).pdf

1、由于程序分析和理解的困難性，軟件系統(tǒng)特別是大型軟件系統(tǒng)，其生存期往往長(zhǎng)達(dá)數(shù)十年，多年的運(yùn)行歷史，使得遺留軟件系統(tǒng)中包含了眾多知識(shí)，包括系統(tǒng)需求分析、設(shè)計(jì)決策、業(yè)務(wù)規(guī)則、維護(hù)及需求變更等。為了能夠充分利用這些遺留軟件資源，軟件系統(tǒng)的持續(xù)性演化變得十分重要。 然而，對(duì)這些系統(tǒng)常年的維護(hù)或演化異常困難，且成本開(kāi)銷巨大。軟件維護(hù)已成為軟件工程界面臨的重要課題之一，能否準(zhǔn)確、迅速、全面地理解程序是決定維護(hù)工作成敗的關(guān)鍵。因此，程序理解研究

2、對(duì)軟件開(kāi)發(fā)、管理和維護(hù)有著關(guān)鍵意義，特別是針對(duì)遺留軟件系統(tǒng)維護(hù)和演化具有重要的意義。 程序理解的目的在于獲得足夠的軟件系統(tǒng)信息，適用于人理解的形式展現(xiàn)出來(lái)，以輔助和促進(jìn)人對(duì)軟件的理解。這是一項(xiàng)非常耗費(fèi)時(shí)間的過(guò)程，要自動(dòng)實(shí)現(xiàn)對(duì)程序的分析、理解和表達(dá)，首先要解決程序靜態(tài)分析和信息抽取關(guān)鍵技術(shù)。因?yàn)樵闯绦蚍治龅母咝浴⒊槿⌒畔⒌耐暾院蜏?zhǔn)確性將直接影響到后續(xù)的程序理解系統(tǒng)的整個(gè)過(guò)程和性能，對(duì)軟件的維護(hù)工作或演化過(guò)程具有非常重要的作用和

3、意義。 論文通過(guò)深入的調(diào)研，在參閱國(guó)內(nèi)外大量文獻(xiàn)資料的基礎(chǔ)上，對(duì)程序理解、靜態(tài)分析技術(shù)和信息抽取機(jī)制進(jìn)行了較為系統(tǒng)的研究，所做主要工作包括： 1、對(duì)程序理解相關(guān)理論的研究：研究了有關(guān)程序理解的相關(guān)背景知識(shí)和技術(shù)現(xiàn)狀；對(duì)程序理解的意義、關(guān)鍵技術(shù)問(wèn)題、存在困難以及設(shè)計(jì)模型進(jìn)行了較系統(tǒng)的研究。 2、對(duì)靜態(tài)分析技術(shù)進(jìn)行了研究，特別是對(duì)其中的預(yù)處理這一技術(shù)進(jìn)行了專題研究，針對(duì)如何處理源程序中的預(yù)處理分析、幾個(gè)編譯階段包含詞

4、法分析、具體預(yù)處理過(guò)程的實(shí)現(xiàn)等，提出了具體的實(shí)現(xiàn)模型和方案。 3、通過(guò)對(duì)目前典型抽取工具及靜態(tài)分析系統(tǒng)中詞法、語(yǔ)法分析工具的研究和比較，設(shè)計(jì)了靜態(tài)分析信息抽取系統(tǒng)的架構(gòu)，設(shè)計(jì)和實(shí)現(xiàn)了語(yǔ)法和詞法分析器，重點(diǎn)實(shí)現(xiàn)了靜態(tài)信息抽取模塊。 4、通過(guò)分析傳統(tǒng)靜態(tài)分析抽取機(jī)制，研究了靜態(tài)分析抽取機(jī)制的優(yōu)化問(wèn)題。此外，針對(duì)有些編譯系統(tǒng)的頭文件關(guān)系復(fù)雜、規(guī)模龐大的問(wèn)題，論文對(duì)于如何提高這類文件的靜態(tài)分析抽取效率，如何快速、準(zhǔn)確地抽取信息進(jìn)