使用程序靜態(tài)分析技術識別源程序中的用例結構.pdf

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

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

3、。
　　(2)Web程序中，頁面之間的跳轉關系不同于函數(shù)之間的調(diào)用和返回關系。不同頁面之間通常可以反復相互跳轉，無需返回。我們將Web程序分為跳轉單位和函數(shù)兩部分，將頁面間的跳轉關系分為直接跳轉和經(jīng)過Servlet的doGet方法形成的跳轉。我們將跳轉單位間的跳轉關系和函數(shù)之間的調(diào)用關系統(tǒng)一表示為跳轉調(diào)用圖，利用前述方法識別用例結構。在此過程中，對于頁面間的直接跳轉關系形成的路徑，比較不同路徑上的頁面子序列，采用各路徑上的最短子序