1、該文的研究目的在于通過自動(dòng)測(cè)試系統(tǒng)的領(lǐng)域分析以及基于統(tǒng)一建模語(yǔ)言(UML)的面向?qū)ο罂蚣芙＜夹g(shù)的研究,提出一種特定領(lǐng)域自動(dòng)測(cè)試系統(tǒng)的面向?qū)ο罂蚣荛_發(fā)方法.首先,在自動(dòng)測(cè)試系統(tǒng)的特征和需求分析的基礎(chǔ)上建立自動(dòng)測(cè)試系統(tǒng)的面向?qū)ο笤Ｐ?并用接口定義語(yǔ)言(IDL)對(duì)元模型進(jìn)行形式化描述,使其定義與具體實(shí)現(xiàn)語(yǔ)言不相關(guān).這個(gè)元模型是各種自動(dòng)測(cè)試系統(tǒng)面向?qū)ο罂蚣艿幕A(chǔ)體系結(jié)構(gòu).其次,基于UML的擴(kuò)展機(jī)制定義一個(gè)滿足面向?qū)ο罂蚣芴卣鹘５腢MLpr

2、ofile—Framework Profile,使UML更好地支持框架"熱點(diǎn)"的建模和設(shè)計(jì)模式的直觀表示,并用OMG的對(duì)象約束語(yǔ)言(OCL)對(duì)Framework Profile的語(yǔ)義進(jìn)行形式化描述,便于框架開發(fā)人員的正確理解和使用.最后,利用上面兩點(diǎn)研究成果提出一種基于元模型、熱點(diǎn)驅(qū)動(dòng)的自動(dòng)測(cè)試系統(tǒng)的面向?qū)ο罂蚣荛_發(fā)方法.新方法主要包括熱點(diǎn)識(shí)別、框架設(shè)計(jì)、框架實(shí)現(xiàn)和框架測(cè)試等一系列迭代的過程,直到識(shí)別框架中的所有熱點(diǎn)并得到靈活的設(shè)計(jì)實(shí)現(xiàn)