軟體設計自動化 Software design automation 是在軟體研製過程中將仍由手工進行的某些階段加以自動化的過程以及所採用的技術。
基本介紹
- 中文名：軟體設計自動化
- 外文名： Software design automation
- 優點：提高所要實現的軟體的可靠性
- 採用方法：定理證明
簡介,特徵,
簡介
軟體的研製由提出問題開始，經歷需求定義，設計，實現和測試等階段。這些階段是一系列描述的演變，從最初的問題描述逐步精化，制止能用某一特定語言描述如何實現這一目標。軟體設計自動化旨在是這一轉換過程自動化，使軟體設計者以更自然，更高級的語言告訴計算機要做什麼，而不必詳細地規定如何去做。利用軟體自動設計工具，可以在設計過程中減少許多人為錯誤，提高所要實現的軟體的可靠性，並可以大大的縮短軟體研製的周期，節省人力和機器等多種資源。
特徵
軟體設計自動化的概念是逐漸發展變化的。例如，在計算機技術發展初期編譯程式的出現就被認為是軟體設計自動化方面的一大進展。隨著科技的進步，軟體設計自動化的內容也在不斷發展，已建立一些實驗系統，包含了規格說明，目標語言，問題規範和採用方法四方面的基本內容。規格說明解決的問題是以某種方式告訴計算機，所需要的是具有什麼樣功能的軟體，即要求這一軟體做什麼。目標語言指出用以表示最後構造成的程式的語言。問題範圍指生成程式的套用範圍。問題範圍與規格說明有關，並對系統採用的方法有很大影響。採用方法，一般可選擇以下四種：
1，定理證明
2，程式轉換
3，知識工程
4傳統的問題求解方法
計算機輔助軟體工程（CASE）技術的發展在實現軟體設計自動化的道路上跨出了重要一步。軟體設計自動化的全面實現和實用化尚非短期能夠達到。
