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

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

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

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