|
傳統的軟體測試往往在程式設計階段才進行且花費太多的成本。根據相關研究指出，如果能夠在程式設計階段以前找出錯誤，則修正錯誤的成本可以被降低。目前統一塑模語言
(UML)已成為物件導向系統分析與設計的標準塑模語言，過去這幾年來在整合UML、模式驅動架構 (MDA)與電腦輔助軟體工程工具
(CASE Tool)的努力上已經有了相當不錯的成果，其主要目的是要增加系統開發的生產率
(Productivity)。以物件限制語言 (OCL)描述企業邏輯限制已在這個領域裡成為一個主要的趨勢。
本研究會提出一個方法論說明在系統分析與設計的階段以OCL來描述PIM的企業邏輯限制，接著使用CASE
工具將OCL表達式轉換為程式碼模式，最後以模擬的方式實施模式測試。本研究會使用三個真實的案例與一個CASE工具來實施方法論的可用性測試
(包含方法論的概念、應用與優點)。藉由這個方法，可於系統分析與設計的階段先找出有關企業邏輯限制的軟體錯誤，因此可以減少軟體測試的成本與增加系統開發的效率。
|
