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

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

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

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

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