使用程序靜態(tài)分析技術(shù)識別源程序中的用例結(jié)構(gòu).pdf

1、用例是統(tǒng)一軟件過程的驅(qū)動者，在軟件絕大部分階段都能夠發(fā)揮較好的作用，唯獨在編碼階段難以保持自身的結(jié)構(gòu)。同一個用例的代碼分散在不同模塊中，不同用例的代碼又在同一個模塊中相互交織。從源程序中識別用例有助于恢復用例結(jié)構(gòu)在軟件全生命期中的可追蹤性，有助于軟件的理解和維護。
　　目前從代碼中識別用例的工作總體非常薄弱。很多識別方法缺乏理論依據(jù)，識別效果較差，不能準確識別用例及其內(nèi)部結(jié)構(gòu)?，F(xiàn)有從目的成功語句出發(fā)、以必經(jīng)節(jié)點和必經(jīng)邊為核心識別用

2、例和用例結(jié)構(gòu)的方法緊扣用例概念，具有較好的理論基礎，但是相關(guān)實驗研究不足。本文在此基礎上，針對不同類型的程序，在不同粒度上進行了方法的細化和實驗分析工作。
　　具體工作包括：
　　(1)研究了對于普通程序，如何在函數(shù)粒度、語句粒度對其進行用例結(jié)構(gòu)的識別。我們分析了如何在用例的控制流圖上進行用例結(jié)構(gòu)識別，并將該方法應用到函數(shù)粒度的用例結(jié)構(gòu)識別中。我們結(jié)合對控制分支結(jié)構(gòu)和異常處理機制在用例中的作用等提出如何在語句粒度識別用例結(jié)構(gòu)

3、。
　　(2)Web程序中，頁面之間的跳轉(zhuǎn)關(guān)系不同于函數(shù)之間的調(diào)用和返回關(guān)系。不同頁面之間通?？梢苑磸拖嗷ヌD(zhuǎn)，無需返回。我們將Web程序分為跳轉(zhuǎn)單位和函數(shù)兩部分，將頁面間的跳轉(zhuǎn)關(guān)系分為直接跳轉(zhuǎn)和經(jīng)過Servlet的doGet方法形成的跳轉(zhuǎn)。我們將跳轉(zhuǎn)單位間的跳轉(zhuǎn)關(guān)系和函數(shù)之間的調(diào)用關(guān)系統(tǒng)一表示為跳轉(zhuǎn)調(diào)用圖，利用前述方法識別用例結(jié)構(gòu)。在此過程中，對于頁面間的直接跳轉(zhuǎn)關(guān)系形成的路徑，比較不同路徑上的頁面子序列，采用各路徑上的最短子序