基于切片技術(shù)的軟件理解輔助系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn).pdf

1、隨著計(jì)算機(jī)技術(shù)的發(fā)展和軟件系統(tǒng)規(guī)模的擴(kuò)大，現(xiàn)有軟件系統(tǒng)往往積累了大量的行業(yè)知識，包括系統(tǒng)需求、業(yè)務(wù)規(guī)則和設(shè)計(jì)決策等，因此對軟件系統(tǒng)的維護(hù)顯得越來越重要。而對原有系統(tǒng)的理解是對軟件進(jìn)行維護(hù)的前提，只有正確理解了原有系統(tǒng)的功能，才能高效率地對原有系統(tǒng)進(jìn)行維護(hù)和改進(jìn)。因此，軟件理解在軟件維護(hù)過程中發(fā)揮著重要的作用。 程序切片技術(shù)是Mark Weiser提出的一種程序分析的技術(shù)，它通過計(jì)算與某個用戶感興趣的變量相關(guān)的語句集來分解程序。程

2、序切片技術(shù)的提出，極大地豐富了程序分析和程序理解的理論基礎(chǔ)。在軟件工程的各個領(lǐng)域如程序分析、理解、測試、調(diào)試、度量等，程序切片技術(shù)都得到了廣泛的應(yīng)用。本文設(shè)計(jì)的系統(tǒng)以程序切片技術(shù)為基礎(chǔ)，采用的是Weiser提出的數(shù)據(jù)流迭代算法。 由于C語言編制程序中指針的廣泛使用，如果對指針作保守估計(jì)，將極大損害數(shù)據(jù)流分析結(jié)果的精確度。本文考察了指針分析的表示法、指針問題的復(fù)雜度、以及指針問題的分類，在介紹了一種上下文敏感的過程問指針分析算法的

3、基礎(chǔ)上，針對函數(shù)指針間接進(jìn)行的函數(shù)調(diào)用，本文利用Atkinson函數(shù)類型簽名過濾的思想，給出了一種提高函數(shù)指針指向精確度的方案。 本文最后給出了系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)，在程序分析前端的預(yù)處理器中，對系統(tǒng)頭文件的包含作了過濾處理，這樣就使得程序經(jīng)過詞法分析、語法分析之后，在中間代碼產(chǎn)生器中產(chǎn)生的中間代碼的數(shù)目大大減少。在分析后端實(shí)現(xiàn)了程序切片器、交叉引用器、模塊內(nèi)聚度量、文件及函數(shù)依賴顯示器等。實(shí)現(xiàn)中用到的技術(shù)有LEX、YACC、dom