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

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

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

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