基于UML和XML的測試規范形式化描述

0 引言

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