測試的主要目的是從系統測試的過程中找出錯誤。在過去的研究中顯示模式測試確實能找出系統中的錯誤,而花費在系統塑模以及由模式自動化產生測試案例所需的時間低於完全由人工進行測試,故能有效降低測試所需的時間與成本。本研究提出一個模式測試的方法論。在此方法中,循序圖與類別圖分別被用來產生測試路徑與測試案例,而物件限制語言則被用來描述商業邏輯限制。並透過三個真實的案例以及電腦輔助軟體工程工具來對本研究所提出之方法論(在概念、實作以及相對優勢上)進行可用性的測試。藉由這個方法,系統中的錯誤可以在系統分析與設計階段被發現,而因此減少軟體測試的成本並增進系統開發的效率。
|