基于依賴性分析的UML狀態(tài)圖切片在回歸測試中的應(yīng)用.pdf

1、隨著計算機技術(shù)的飛速發(fā)展, 軟件系統(tǒng)的數(shù)量越來越多, 規(guī)模越來越大, 復(fù)雜程度越來越高。在一些大型、長生命周期的軟件測試和維護(hù)過程中, 手工分析已經(jīng)變得越來越不可行, 越來越多的工作需要理論、技術(shù)和工具的支持。軟件測試技術(shù)和程序分析技術(shù)已成為軟件領(lǐng)域的一個十分重要而又及其迫切的研究領(lǐng)域。對一個軟件進(jìn)行大規(guī)模測試后, 對軟件進(jìn)行了某種小小的修改, 是否要對程序進(jìn)行重新測試, 是一個值得重視的問題。從程序切片的角度去考慮這個問題, 首先應(yīng)該

2、找到程序新舊版本之間的不同之處。比較兩者的切片和依賴圖, 對那些具有相同切片的特點不用考慮。將那些在新版本依賴圖中出現(xiàn), 而在舊版本依賴圖中不出現(xiàn)的結(jié)點, 標(biāo)記出來, 稱為“影響點”, 計算它的靜態(tài)切片和前向切片, 取二者的交集。這樣, 如果要對程序進(jìn)行重測試, 僅僅需要對此交集進(jìn)行測試, 因而減少了工作量的消耗。 近幾年來，出現(xiàn)了一些新的技術(shù)，這些技術(shù)對軟件測試產(chǎn)生了十分重要的影響。其中一種技術(shù)就是對基于狀態(tài)的系統(tǒng)進(jìn)行建模的技

3、術(shù)。值得注意的是，基于狀態(tài)的系統(tǒng)能夠用形式化描述語言來建模，比如UML狀態(tài)圖，可擴(kuò)展的有限狀態(tài)機(EFSM)，規(guī)格描述語言(SDL)，虛擬有限自動機(VFSM)和ESTELLE。系統(tǒng)建模減少了二義性，誤解和對系統(tǒng)規(guī)格說明的不確切的理解。然而現(xiàn)代的系統(tǒng)趨向于大型和復(fù)雜，以至于它們非常難以理解、修改和調(diào)試。繼而就產(chǎn)生了對分析系統(tǒng)特別是關(guān)于某個特殊系統(tǒng)功能的分析的需求，例如某個系統(tǒng)的特殊特征，一條需求或一個改變。在軟件系統(tǒng)的維護(hù)階段，軟件開發(fā)

4、人員必須識別關(guān)注的某個功能的部分模型，使得這些模型顯得十分重要。同時，能夠簡化和減少模型的技術(shù)也很必要，因為它們使得理解和分析更加容易些。 基于依賴性分析的UML狀態(tài)圖切片系統(tǒng)主要應(yīng)用于回歸測試中。它的主要功能包括：對C++源程序進(jìn)行靜態(tài)分析和預(yù)處理；進(jìn)行數(shù)據(jù)依賴和控制分析；根據(jù)切片標(biāo)準(zhǔn)和讀取UML狀態(tài)圖，對狀態(tài)圖進(jìn)行切片；進(jìn)行回歸測試，最后生成測試報告。 通過依賴性分析的UML狀態(tài)圖切片系統(tǒng)，開發(fā)人員和測試人員可以了解