本節(jié)向大家介紹一下UML狀態(tài)圖切片在回歸測試中的應(yīng)用，相信通過本節(jié)的介紹大家對UML狀態(tài)圖的應(yīng)用有一定的了解，下面讓我們一起來學(xué)習(xí)UML狀態(tài)圖吧。

UML狀態(tài)圖切片在回歸測試中的應(yīng)用　

隨著計算機(jī)技術(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)該找到程序新舊版本之間的不同之處。比較兩者的切片和依賴圖,對那些具有相同切片的特點(diǎn)不用考慮。將那

些在新版本依賴圖中出現(xiàn),而在舊版本依賴圖中不出現(xiàn)的結(jié)點(diǎn),標(biāo)記出來,稱為“影響點(diǎn)”,計算它的靜態(tài)切片和前向切片,取二者的交集。這樣,如果要對程序進(jìn)行重測試,僅僅需要對此交集進(jìn)行測試,

因而減少了工作量的消耗。

近幾年來，出現(xiàn)了一些新的技術(shù)，這些技術(shù)對軟件測試產(chǎn)生了十分重要的影響。其中一種技術(shù)就是對基于狀態(tài)的系統(tǒng)進(jìn)行建模的技術(shù)。值得注意的是，基于狀態(tài)的系統(tǒng)能夠用形式化描述語言來

建模，比如UML狀態(tài)圖，可擴(kuò)展的有限狀態(tài)機(jī)(EFSM)，規(guī)格描述語言(SDL)，虛擬有限自動機(jī)(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ā)人員必須識別關(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ā)人員和測試人員可以了解在源代碼級別上的UML狀態(tài)圖建模，在回歸測試時利用UML狀態(tài)圖的切

片結(jié)果得到修改后影響的范圍，使之能夠更有效的進(jìn)行選擇性回歸測試，從而提高軟件測試效率，降低回歸測試成本。

【編輯推薦】

1. 技術(shù)分享 嵌入式建模中UML狀態(tài)圖的形式化方法
2. UML技術(shù)在軟件設(shè)計中的應(yīng)用
3. UML用例圖用法實例剖析
4. 術(shù)語匯編 UML統(tǒng)一建模語言簡介
5. UML建模工具中EA和Rose的比較