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

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

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

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