基于UML的軟件測試技術(shù)的研究.pdf

1、該文從面向?qū)ο蠓椒ǖ奶攸c出發(fā),分析了面向?qū)ο筌浖y試中測試層次、測試內(nèi)容、測試用例設(shè)計等主要問題.面向?qū)ο筌浖y試即在測試過程中繼續(xù)運用面向?qū)ο蠹夹g(shù),進行以對象概念為中心的軟件測試.就測試而言,面向?qū)ο笙到y(tǒng)的測試與其它方法開發(fā)的系統(tǒng)的測試沒有什么本質(zhì)差別,但面向?qū)ο筌浖y試通過捕捉面向?qū)ο蠓治龊兔嫦驅(qū)ο笤O(shè)計模型信息,可以檢查程序與模型不匹配的錯誤,這一點是傳統(tǒng)軟件測試難以達到的.在所有開發(fā)系統(tǒng)中都是根據(jù)規(guī)范說明來驗證系統(tǒng)設(shè)計的正確性,但

2、面向?qū)ο箝_發(fā)方法為測試帶來某些新的可能性,也引出某些新問題.面向?qū)ο蟮奶卣?如封裝性、繼承性、多態(tài)和動態(tài)綁定性等,這些特征的引入增加了測試的復(fù)雜性.統(tǒng)一建模語言UML具有定義良好、易于表達、功能強大的特點,不僅支持面向?qū)ο蟮姆治雠c設(shè)計,而且支持從需求分析開始的軟件開發(fā)的全過程.UML的目標(biāo)是以面向?qū)ο蟮姆绞絹砻枋鋈魏晤愋偷南到y(tǒng).UML提供了非常豐富的圖例模型,該文的工作是在系統(tǒng)的各種圖例模型的基礎(chǔ)上構(gòu)造系統(tǒng)的測試模型,并結(jié)合Petri網(wǎng)