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

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

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

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