基于UML狀態(tài)圖測試用例的生成技術研究.pdf

1、軟件測試在軟件生存周期中占有十分重要的位置，是軟件質量保證的重要手段。測試用例是測試工作的指導，是軟件測試的準則，更是軟件測試質量穩(wěn)定的根本保障。 面向對象技術的廣泛應用，使得有關面向對象測試的研究也越來越受到重視。統一建模語言（Unified Modeling Language, UML）是一種描述能力強大且涵義直觀的可視化建模語言，它提供多種圖元從不同角度和應用層次刻畫系統特性及復雜的運行環(huán)境。UML狀態(tài)圖是傳統狀態(tài)機模型的

2、可視化擴展，增加了許多抽象元素，是重要的動態(tài)建模工具?；赨ML軟件測試成為了軟件工程的一個重要研究方向。本文對基于UML狀態(tài)圖的測試用例的生成方法進行了研究和探討。 在類級測試方面，本文在現有測試用例生成方法的基礎上，結合UML狀態(tài)圖，對類測試用例的自動生成進行了研究。由于含有層次和并發(fā)結構的UML狀態(tài)圖產生類的測試用例是比較困難的，給出了一種轉換方法，將含有層次和并發(fā)結構的UML狀態(tài)圖轉化成擴展有限狀態(tài)機（Extended

3、Finite State Machine, EFSM）。本文改進了一種基于UML狀態(tài)圖的測試框架：先利用現有的UML工具（如MATLAB等）畫出UML狀態(tài)圖，并產生它的MDL格式的規(guī)格說明文件；然后從規(guī)格說明中動態(tài)地提取出狀態(tài)圖的信息，并依據這些信息將UML狀態(tài)圖轉換成不含層次和并發(fā)結構的EFSM規(guī)格說明信息。最后，依據EFSM模型的規(guī)格說明信息，按照測試樹生成測試用例的方法，產生系統的測試用例。 在集成測試方面，目前在集成測試

4、模型的生成上還不完善，如果單獨采用協作圖作為集成用例的測試模型，不能詳細描述對象的狀態(tài)信息，而且在每次的交互過程中，無法表示可能發(fā)生改變的狀態(tài)。針對這一現狀，文中采用協作圖和狀態(tài)圖共同來生成集成測試模型，依據協作圖確定組合的對象。在組合狀態(tài)機形式化定義的前提條件下，以狀態(tài)圖為依據將狀態(tài)機中兩個狀態(tài)進行組合。本文主要針對生成的組合狀態(tài)過于復雜化的問題，提出一種形式化方法，對組合狀態(tài)進行了形式化處理，使簡化后的狀態(tài)可以直接用于集成測試用例的