基于UML合并狀態(tài)圖的測試用例生成.pdf

1、面向?qū)ο箝_發(fā)已經(jīng)成為主流軟件開發(fā)方法,面向?qū)ο筌浖y試的研究卻相對滯后。隨著軟件規(guī)模的日益擴(kuò)大,測試在軟件開發(fā)中的代價也日益增大,面向?qū)ο筌浖y試技術(shù)開始被大家所重視。UML是被OMG采納,作為面向?qū)ο筌浖_發(fā)的標(biāo)準(zhǔn)圖形建模語言。不同的測試階段可以使用不同的UML圖形作為測試依據(jù)?；跔顟B(tài)圖的測試用例生成是目前的研究熱點。
　　 本文圍繞以上問題,進(jìn)行了深入的研究與實踐。主要研究內(nèi)容包括：⑴對狀態(tài)圖,協(xié)作圖做出語義分析,用數(shù)學(xué)符

2、號對其結(jié)構(gòu)進(jìn)行表述,將狀態(tài)圖、協(xié)作圖轉(zhuǎn)換成可以用于運(yùn)算的結(jié)構(gòu)模型。⑵由于狀態(tài)圖表示的是單一類在輸入條件下的狀態(tài)遷移,無法用于多個對象間交互行為的測試。而協(xié)作圖則只描述對象間的信息交互,不能作為對象自身遷移的測試依據(jù)。本文提出合并狀態(tài)圖的概念,以用于多個類的狀態(tài)遷移、信息交互的測試用例生成。并對其做了數(shù)學(xué)建模。⑶基于圖論以及狀態(tài)機(jī)的理論,提出了合并狀態(tài)圖的生成以及遍歷算法。由于狀態(tài)圖的特殊性,不僅包含有向圖中的頂點路徑等元素,還包含了狀態(tài)

3、遷移的輸入條件,因此,根據(jù)其特殊性,本文設(shè)計了滿足路徑覆蓋條件的生成算法。該算法去除了循環(huán)冗余路徑,以得到最短路徑集。⑷考慮到軟件系統(tǒng)規(guī)模,路徑集數(shù)量龐大,本文還設(shè)計了基于遺傳算法的路徑序列優(yōu)化算法。并用氣象效益評估系統(tǒng)進(jìn)行實例分析,檢驗本文中提出的算法。結(jié)果表明,算法有效可行,在實際應(yīng)用中能夠取得良好的效果。
　　 本文的主要特色與創(chuàng)新之處：①綜合考慮狀態(tài)圖與協(xié)作圖,首次提出合并狀態(tài)圖模型。有效地測試類自身與類間交互引發(fā)的狀態(tài)