基于擴(kuò)充的UML狀態(tài)圖的類測(cè)試方法研究.pdf

1、統(tǒng)一建模語言(UML)是使用面向?qū)ο蟾拍钸M(jìn)行軟件系統(tǒng)建模的一組表示法,它已被國際標(biāo)準(zhǔn)化組織吸收為軟件建模領(lǐng)域的國際標(biāo)準(zhǔn).基于UML的設(shè)計(jì)和開發(fā)過程越來越受到廣泛的關(guān)注,但基于UML的測(cè)試過程的研究卻相對(duì)受到較少的關(guān)注.軟件測(cè)試是軟件開發(fā)中極為重要的過程,通常,測(cè)試在整個(gè)軟件開發(fā)過程中所占的比例約為40％,因此測(cè)試技術(shù)的發(fā)展對(duì)于縮短測(cè)試周期、降低維護(hù)成本、提高軟件質(zhì)量有重要意義.本文以UML建模過程及面向?qū)ο鬁y(cè)試技術(shù)為背景,提出一種在設(shè)計(jì)

2、階段就把測(cè)試信息充分表達(dá)在UML模型上,從而使面向?qū)ο笙到y(tǒng)能夠進(jìn)行充分測(cè)試的方法.從面向?qū)ο?OO)程序的結(jié)構(gòu)出發(fā),OO程序測(cè)試通常分為方法級(jí)、類級(jí)、類簇級(jí)、系統(tǒng)級(jí)四個(gè)級(jí)別.本文對(duì)類測(cè)試技術(shù)進(jìn)行了研究,詳細(xì)闡述了基于擴(kuò)充的UML狀態(tài)圖進(jìn)行類測(cè)試的方法.該方法以UML狀態(tài)圖模型為依據(jù),在分析了UML狀態(tài)圖在可測(cè)性方面存在的三個(gè)不足后,將UML狀態(tài)圖進(jìn)行擴(kuò)充,加入充分的類測(cè)試信息(文中以"狀態(tài)閥"和"類閥"來描述),形成擴(kuò)充的UML狀態(tài)圖.

3、對(duì)于擴(kuò)充后圖形化的UML狀態(tài)圖,本文實(shí)現(xiàn)了一個(gè)轉(zhuǎn)換工具,將其轉(zhuǎn)換為XML結(jié)構(gòu)化文檔,為接下來類測(cè)試的自動(dòng)/半自動(dòng)化進(jìn)行奠定了基礎(chǔ).在擴(kuò)充的UML狀態(tài)圖的基礎(chǔ)上,本文詳細(xì)介紹了類測(cè)試中方法序列(文中用方法的直接后繼方法集概念來描述方法序列)的生成和類狀態(tài)測(cè)試過程,并實(shí)現(xiàn)了方法序列生成工具和類狀態(tài)測(cè)試工具,以使測(cè)試方法實(shí)用化.最后以"遼寧華福印染ERP系統(tǒng)——采購子系統(tǒng)"項(xiàng)目中物料需求類的測(cè)試過程為例,講述了擴(kuò)充的UML狀態(tài)圖建模過程、測(cè)試