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