一種基于UML狀態(tài)圖的類級(jí)測(cè)試技術(shù)的研究與實(shí)現(xiàn).pdf

1、面向?qū)ο蠹夹g(shù)的廣泛應(yīng)用,使得有關(guān)面向?qū)ο鬁y(cè)試的研究也越來越受到重視.面向?qū)ο筌浖到y(tǒng)的測(cè)試可劃分為四級(jí):方法級(jí)、類級(jí)、簇級(jí)和系統(tǒng)級(jí)測(cè)試.方法級(jí)和系統(tǒng)級(jí)的測(cè)試方法與傳統(tǒng)過程式程序的測(cè)試方法類似,而類級(jí)和簇級(jí)的測(cè)試則面臨新的問題.類是數(shù)據(jù)和數(shù)據(jù)操作的集合.對(duì)一個(gè)類來說對(duì)代碼的完全覆蓋并不能達(dá)到滿足測(cè)試的要求.UML是一種功能強(qiáng)大和復(fù)雜的建模語言,它提出了一些建模機(jī)制和一系列的可視化圖形以幫助我們開發(fā)和管理系統(tǒng).UML對(duì)系統(tǒng)的描述簡(jiǎn)練而精確.

2、因此,UML在軟件領(lǐng)域的應(yīng)用日益應(yīng)用.因此,對(duì)一個(gè)類進(jìn)行基于UML的規(guī)約測(cè)試具有現(xiàn)實(shí)的意義.基于UML的規(guī)約測(cè)試能夠在系統(tǒng)分析時(shí)產(chǎn)生測(cè)試案例.這樣使測(cè)試工作提前進(jìn)入開發(fā)流程,并能保證測(cè)試案例與規(guī)約的一致性.本文首先分析和研究了UML狀態(tài)圖的語法語義以及形式化描述、有限狀態(tài)機(jī)和擴(kuò)展有限狀態(tài)機(jī)的形式化描述、測(cè)試案例的覆蓋標(biāo)準(zhǔn)以及生成方法.然后重點(diǎn)研究基于UML狀態(tài)圖的面向?qū)ο箢惣?jí)測(cè)試的方法.提出了將UML狀態(tài)圖轉(zhuǎn)換為擴(kuò)展有限狀態(tài)機(jī)(EFSM

3、),并根據(jù)這種EFSM來分析狀態(tài)圖中的控制流和數(shù)據(jù)流的方案,在進(jìn)行數(shù)據(jù)流測(cè)試時(shí)還提出了一種改進(jìn)的擴(kuò)展有限狀態(tài)機(jī)的數(shù)據(jù)流測(cè)試方法.最后實(shí)現(xiàn)一個(gè)自動(dòng)測(cè)試工具對(duì)該方法進(jìn)行檢驗(yàn).在此過程中,要重點(diǎn)解決的問題是歸納出一些簡(jiǎn)便可行的轉(zhuǎn)換規(guī)則以保證狀態(tài)圖信息的保留.在測(cè)試用例生成過程中則會(huì)用到相應(yīng)的關(guān)于控制流和數(shù)據(jù)流的一些分析技術(shù)和覆蓋準(zhǔn)則.在代碼實(shí)現(xiàn)階段采用Visual C++6.0作為系統(tǒng)的開發(fā)環(huán)境.在開發(fā)過程中借助Case工具Rational