自動測試系統(tǒng)的面向?qū)ο罂蚣荛_發(fā)方法研究.pdf

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

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