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

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

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

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

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