變換模型（Transformational Model）是基於形式化規格說明語言及程序變換的軟件開發模型。它主要用於軟件的形式化開發方法，對形式化的軟件規格說明進行一系列自動或半自動的程序變換，最後映射成系統的目標程序。變換模型表示如圖1.5所示。形式化方法模型包含了一組活動，它們導致了計算機軟件的數學規約。形式化方法使得軟件工程師能夠通過應用一個嚴格的數學符號體系規約、開發和驗證基於計算機的系統。
圖1.5 變換模型
變換模型開發方法必須有嚴格的數學理論和形式化技術的支持，目前這種開發方法尚處於研究和實驗階段。
1.變換模型的優點
①形式化規約可直接作為程序驗證的基礎，可以儘早地發現和糾正錯誤（包括那些在其他情況下不能發現的錯誤）。
②開發出來的軟件具有很高的安全性和健壯性，特別適合安全部門或者軟件錯誤會造成經濟損失的開發項目。
2.變化模型的缺點
①開發費用高，而且需要的時間長。
②不能將該模型作為對客戶通信的機制，因為客戶對這些數學語言一無所知。
③具有開發無缺陷軟件的承諾。
分享到:
閱讀更多 時氪分享 的文章
