在回歸測試中UML狀態圖切片的應用
本節向大家介紹一下UML狀態圖切片在回歸測試中的應用，相信通過本節的介紹大家對UML狀態圖的應用有一定的了解，下面讓我們一起來學習UML狀態圖吧。
UML狀態圖切片在回歸測試中的應用
隨著計算機技術的飛速發展,軟件系統的數量越來越多,規模越來越大,復雜程度越來越高。在一些大型、長生命周期的軟件測試和維護過程中,手工分析已經變得越來越不可行,越來越多的工作需
要理論、技術和工具的支持。軟件測試技術和程序分析技術已成為軟件領域的一個十分重要而又及其迫切的研究領域。對一個軟件進行大規模測試后,對軟件進行了某種小小的修改,是否要對程
序進行重新測試,是一個值得重視的問題。從程序切片的角度去考慮這個問題,首先應該找到程序新舊版本之間的不同之處。比較兩者的切片和依賴圖,對那些具有相同切片的特點不用考慮。將那
些在新版本依賴圖中出現,而在舊版本依賴圖中不出現的結點,標記出來,稱為“影響點”,計算它的靜態切片和前向切片,取二者的交集。這樣,如果要對程序進行重測試,僅僅需要對此交集進行測試,
因而減少了工作量的消耗。
近幾年來，出現了一些新的技術，這些技術對軟件測試產生了十分重要的影響。其中一種技術就是對基于狀態的系統進行建模的技術。值得注意的是，基于狀態的系統能夠用形式化描述語言來
建模，比如UML狀態圖，可擴展的有限狀態機(EFSM)，規格描述語言(SDL)，虛擬有限自動機(VFSM)和ESTELLE。系統建模減少了二義性，誤解和對系統規格說明的不確切的理解。然而現代
的系統趨向于大型和復雜，以至于它們非常難以理解、修改和調試。繼而就產生了對分析系統特別是關于某個特殊系統功能的分析的需求，例如某個系統的特殊特征，一條需求或一個改變。在
軟件系統的維護階段，軟件開發人員必須識別關注的某個功能的部分模型，使得這些模型顯得十分重要。同時，能夠簡化和減少模型的技術也很必要，因為它們使得理解和分析更加容易些。
基于依賴性分析的UML狀態圖切片系統主要應用于回歸測試中。它的主要功能包括：對C++源程序進行靜態分析和預處理；進行數據依賴和控制分析；根據切片標準和讀取UML狀態圖，對狀態
圖進行切片；進行回歸測試，***生成測試報告。通過依賴性分析的UML狀態圖切片系統，開發人員和測試人員可以了解在源代碼級別上的UML狀態圖建模，在回歸測試時利用UML狀態圖的切
片結果得到修改后影響的范圍，使之能夠更有效的進行選擇性回歸測試，從而提高軟件測試效率，降低回歸測試成本。
【編輯推薦】
