基于UML動態(tài)模型的測試用例生成方法研究與實現(xiàn).pdf

1、測試用例作為軟件測試的核心內(nèi)容，是軟件測試質(zhì)量穩(wěn)定的根本保障?；赨ML模型的軟件測試旨在通過將UML模型用于指導測試、驗證模型與代碼的一致性、檢查軟件產(chǎn)品是否符合需求和設計，提高軟件測試質(zhì)量。該方法的優(yōu)點是可以重用開發(fā)、設計階段的成果，加快測試用例生成。目前基于UML模型的測試用例生成方法主要有四種方式：基于形式規(guī)約的測試、基于圖理論的測試、啟發(fā)式測試和直接根據(jù)UML規(guī)格生成測試用例。每種方法對單一UML模型的討論相對充分，而對多種U

2、ML圖形的結(jié)合卻鮮有涉及。另外，同開發(fā)設計過程相比，測試用例生成與具體實現(xiàn)、開發(fā)過程等多種因素相關，因此普遍存在著理性較強而實用性、自動化化程度差的現(xiàn)狀。
　　在分析UML動態(tài)模型的可測性基礎上，本文將UML與統(tǒng)一軟件開發(fā)過程相結(jié)合，針對系統(tǒng)級測試用例，提出了一種兩級測試場景生成算法。算法以用例圖為指導，首先對活動圖進行語義擴充和形式化定義，在明確測試充分性準則的前提下將活動圖轉(zhuǎn)換為有向圖，采用分支回溯深度優(yōu)先遍歷算法生成初級測試

3、場景；其次，分別對圖中的循環(huán)、并發(fā)模塊進行迭代限定和內(nèi)部活動進行排序生成二級測試場景；針對活動圖內(nèi)部活動排序提出并對比了三種可選方案：深度優(yōu)先搜索、隨機過濾生成和反蟻群算法；然后，根據(jù)乘法原理將兩級測試場景組合，并對生成的測試場景按權(quán)值進行倒敘優(yōu)化；最后，結(jié)合測試數(shù)據(jù)生成策略生成最終的測試用例。本文重點解決了活動圖向有向圖自動轉(zhuǎn)換和并發(fā)模塊引起的組合狀態(tài)爆炸兩個關鍵問題。
　　本文提出的測試用例生成算法側(cè)重于UML的實際工程實踐，