基于UML和XML的測(cè)試規(guī)范形式化描述

0 引言

日益增長(zhǎng)的系統(tǒng)復(fù)雜性和越來越短的產(chǎn)品開發(fā)周期使得當(dāng)今的軟件開發(fā)領(lǐng)域面臨了許多挑戰(zhàn)。軟件測(cè)試作為開發(fā)過程中的關(guān)鍵環(huán)節(jié)，保證了產(chǎn)品的質(zhì)量和可靠性。然而為縮短產(chǎn)品的開發(fā)周期，不得不從軟件測(cè)試環(huán)節(jié)節(jié)省時(shí)間。很多可以提高效率的測(cè)試方法，如模型驅(qū)動(dòng)測(cè)試，在使用上對(duì)于測(cè)試執(zhí)行人員有建模等相關(guān)知以的要求．但是對(duì)于由許多獨(dú)立子系統(tǒng)組成的復(fù)雜分布式系統(tǒng)．測(cè)試人員往往僅是該系統(tǒng)所處領(lǐng)域的專家(例如：列車運(yùn)行控制系統(tǒng))，對(duì)其他領(lǐng)域知識(shí)的了解有限．因此無法通過該方法來進(jìn)行測(cè)試。