摘要(中) |
軟體測試為軟體開發過程中重要的一部分,它可以用來達到確保品質、評估可靠性與驗證正確性之目的。然而,軟體測試需要花費非常高的成本與時間,舉例來說,先前研究指出在軟體開發的過程中軟體測試需花費一半以上的成本。在系統分析與設計的工作中,採用統一塑模語言(Unified Modeling Language, UML)與模式驅動架構的方法逐日增加,模式測試(Model-Based Testing)因而被加以探討,它是上述軟體測試問題的重要解決方案。本研究提出一套方法論用來找出測試路徑,這個測試路徑更進一步可決定在模式測試中如何產生測試案例。針對所提出的方法論,我們採用三個由業界提供的真實案例進行可用性測試,其內容包含方法論的概念、應用與所創造的優勢。採用此方法後,在系統分析與設計的階段能找出軟體中的錯誤,可減少軟體測試的成本與提高系統開發的效率。
|