分布式組件軟件測(cè)試用例生成方法研究.pdf

1、計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)和面向?qū)ο蠹夹g(shù)的發(fā)展為軟件開(kāi)發(fā)和應(yīng)用帶來(lái)了許多深刻的變革。分布式組件逐步成為新一代軟件應(yīng)用的重要模式，隨著當(dāng)前各種相關(guān)規(guī)范的逐步形成和完善，相應(yīng)的開(kāi)發(fā)環(huán)境和支持工具不斷出現(xiàn)，分布式組件系統(tǒng)必將迎來(lái)前所未有的應(yīng)用前景。如何保證分布式組件系統(tǒng)的質(zhì)量成為一項(xiàng)亟待解決的任務(wù)擺在軟件測(cè)試工程師的面前。 本文討論了分布式組件系統(tǒng)的特點(diǎn)，分析了組件軟件在集成測(cè)試時(shí)可能出現(xiàn)的錯(cuò)誤類型，在此基礎(chǔ)之上，提出組件軟件的測(cè)試模型。為了更加

2、精確描述組件間交互行為，我們結(jié)合UML協(xié)作圖與狀態(tài)圖為組件軟件測(cè)試建模。 測(cè)試充分性準(zhǔn)則是整個(gè)軟件測(cè)試的核心，它直接決定測(cè)試用例的生成。本文給出基于UML協(xié)作圖和狀態(tài)圖的測(cè)試準(zhǔn)則，基于這些準(zhǔn)則，介紹了如何從UML協(xié)作圖和狀態(tài)圖中產(chǎn)生測(cè)試用例。對(duì)于UML協(xié)作圖，本文采用直接從協(xié)作圖中產(chǎn)生測(cè)試用例的方法，分別對(duì)協(xié)作圖的條件、并發(fā)、循環(huán)條件進(jìn)行討論，最后采用深度優(yōu)先算法遍歷所有測(cè)試場(chǎng)景，每個(gè)測(cè)試場(chǎng)景對(duì)應(yīng)一個(gè)測(cè)試用例；對(duì)于UML狀態(tài)圖，