軟體開發模型
軟體開發過程、活動等的結構框架
軟體開發模型(software development model)是指軟體開發全部過程、活動和任務的結構框架。軟體開發包括需求、設計、編碼和測試等階段,有時也包括維護階段。軟體開發模型能清晰、直觀地表達軟體開發全過程,能明確規定要完成的主要活動和任務,可以用來作為軟體項目工作的基礎。
最早出現的軟體開發模型是1970年W·Royce提出的瀑布模型。該模型給出了固定的順序,將生存期活動從上一個階段向下一個階段逐級過渡,如同流水下瀉,最終得到所開發的軟體產品,投入使用。但計算拓廣到統計分析、商業事務等領域時,大多數程序採用高級語言(如FORTRAN、COBOL等)編寫。瀑布模式模型也存在著缺乏靈活性、無法通過併發活動澄清本來不夠確切的需求等缺點。
演化模型、螺旋模型、噴泉模型、智能模型等。
典型的開發模型有:1. 邊做邊改模型(Build-and-Fix Model);2. 瀑布模型(Waterfall Model);3. 快速原型模型(Rapid Prototype Model);4. 增量模型(Incremental Model);5.螺旋模型(Spiral Model);6.演化模型(evolution model);7.噴泉模型(fountain model);8.智能模型(四代技術(4GL));9.混合模型(hybrid model);10.RAD模型;
邊做邊改型
遺憾的是,許多產品都是使用"邊做邊改"模型來開發的。在這種模型中,既沒有規格說明,也沒有經過設計,軟體隨著客戶的需要一次又一次地不斷被修改.
邊做邊改型
這是一種類似作坊的開發方式,對編寫幾百行的小程序來說還不錯,但這種方法對任何規模的開發來說都是不能令人滿意的,其主要問題在於:
(1)缺少規劃和設計環節,軟體的結構隨著不斷的修改越來越糟,導致無法繼續修改;
(2)忽略需求環節,給軟體開發帶來很大的風險;
(3)沒有考慮測試和程序的可維護性,也沒有任何文檔,軟體的維護十分困難。
瀑布模型
瀑布模型
在瀑布模型中,軟體開發的各項活動嚴格按照線性方式進行,當前活動接受上一項活動的工作結果,實施完成所需的工作內容。當前活動的工作結果需要進行驗證,如果驗證通過,則該結果作為下一項活動的輸入,繼續進行下一項活動,否則返回修改。
瀑布模型強調文檔的作用,並要求每個階段都要仔細驗證。但是,這種模型的線性過程太理想化,已不再適合現代的軟體開發模式,幾乎被業界拋棄,其主要問題在於:
(1)各個階段的劃分完全固定,階段之間產生大量的文檔,極大地增加了工作量;
(2)由於開發模型是線性的,用戶只有等到整個過程的末期才能見到開發成果,從而增加了開發的風險;
(3)早期的錯誤可能要等到開發後期的測試階段才能發現,進而帶來嚴重的後果。
我們應該認識到,"線性"是人們最容易掌握並能熟練應用的思想方法。當人們碰到一個複雜的"非線性"問題時,總是千方百計地將其分解或轉化為一系列簡單的線性問題,然後逐個解決。一個軟體系統的整體可能是複雜的,而單個子程序總是簡單的,可以用線性的方式來實現,否則幹活就太累了。線性是一種簡潔,簡潔就是美。當我們領會了線性的精神,就不要再呆板地套用線性模型的外表,而應該用活它。例如增量模型實質就是分段的線性模型,螺旋模型則是接連的彎曲了的線性模型,在其它模型中也能夠找到線性模型的影子。
快速原型模型
快速原型
顯然,快速原型方法可以克服瀑布模型的缺點,減少由於軟體需求不明確帶來的開發風險,具有顯著的效果。
快速原型的關鍵在於儘可能快速地建造出軟體原型,一旦確定了客戶的真正需求,所建造的原型將被丟棄。因此,原型系統的內部結構並不重要,重要的是必須迅速建立原型,隨之迅速修改原型,以反映客戶的需求。
增量模型
增量模型
(1)由於各個構件是逐漸併入已有的軟體體系結構中的,所以加入構件必須不破壞已構造好的系統部分,這需要軟體具備開放式的體系結構。
(2)在開發過程中,需求的變化是不可避免的。增量模型的靈活性可以使其適應這種變化的能力大大優於瀑布模型和快速原型模型,但也很容易退化為邊做邊改模型,從而使軟體過程的控制失去整體性。
在使用增量模型時,第一個增量往往是實現基本需求的核心產品。核心產品交付用戶使用后,經過評價形成下一個增量的開發計劃,它包括對核心產品的修改和一些新功能的發布。這個過程在每個增量發布后不斷重複,直到產生最終的完善產品。
例如,使用增量模型開發字處理軟體。可以考慮,第一個增量發布基本的文件管理、編輯和文檔生成功能,第二個增量發布更加完善的編輯和文檔生成功能,第三個增量實現拼寫和文法檢查功能,第四個增量完成高級的頁面布局功能。
螺旋模型
螺旋模型
(1)制定計劃:確定軟體目標,選定實施方案,弄清項目開發的限制條件;
(2)風險分析:分析評估所選方案,考慮如何識別和消除風險;
(3)實施工程:實施軟體開發和驗證;
(4)客戶評估:評價開發工作,提出修正建議,制定下一步計劃。
螺旋模型由風險驅動,強調可選方案和約束條件從而支持軟體的重用,有助於將軟體質量作為特殊目標融入產品開發之中。但是,螺旋模型也有一定的限制條件,具體如下:
(1)螺旋模型強調風險分析,但要求許多客戶接受和相信這種分析,並做出相關反應是不容易的,因此,這種模型往往適應於內部的大規模軟體開發。
(2)如果執行風險分析將大大影響項目的利潤,那麼進行風險分析毫無意義,因此,螺旋模型只適合於大規模軟體項目。
(3)軟體開發人員應該擅長尋找可能的風險,準確地分析風險,否則將會帶來更大的風險
一個階段首先是確定該階段的目標,完成這些目標的選擇方案及其約束條件,然後從風險角度分析方案的開發策略,努力排除各種潛在的風險,有時需要通過建造原型來完成。如果某些風險不能排除,該方案立即終止,否則啟動下一個開發步驟。最後,評價該階段的結果,並設計下一個階段。
演化模型
演化模型是一種全局的軟體(或產品)生存周期模型。屬於迭代開發方法。
該模型可以表示為:第一次迭代(需求->設計->實現->測試->集成)->反饋->第二次迭代(需求->設計->實現->測試->集成)->反饋->……
即根據用戶的基本需求,通過快速分析構造出該軟體的一個初始可運行版本,這個初始的軟體通常稱之為原型,然後根據用戶在使用原型的過程中提出的意見和建議對原型進行改進,獲得原型的新版本。重複這一過程,最終可得到令用戶滿意的軟體產品。採用演化模型的開發過程,實際上就是從初始的原型逐步演化成最終軟體產品的過程。演化模型特別適用於對軟體需求缺乏準確認識的情況。
噴泉模型
(也稱面向對象的生存期模型,OO模型)噴泉模型與傳統的結構化生存期比較,具有更多的增量和迭代性質,生存期的各個階段可以相互重疊和多次反覆,而且在項目的整個生存期中還可以嵌入子生存期。就像水噴上去又可以落下來,可以落在中間,也可以落在最底部。
智能模型
智能模型
這種方法需要四代語言(4GL)的支持。4GL不同於三代語言,其主要特徵是用戶界面極端友好,即使沒有受過訓練的非專業程序員,也能用它編寫程序;它是一種聲明式、互動式和非過程性編程語言。4GL還具有高效的程序代碼、智能預設假設、完備的資料庫和應用程序生成器。市場上流行的4GL(如Foxpro等)都不同程度地具有上述特徵。但4GL主要限於事務信息系統的中、小型應用程序的開發。
混合模型
過程開發模型又叫混合模型(hybrid model),或元模型(meta-model),把幾種不同模型組合成一種混合模型,它允許一個項目能沿著最有效的路徑發展,這就是過程開發模型(或混合模型)。實際上,一些軟體開發單位都是使用幾種不同的開發方法組成他們自己的混合模型。
RAD模型
採用RAD模型的軟體過程
RAD模型各個活動期所要完成的任務如下。
(1)業務建模:以什麼信息驅動業務過程運作?要生成什麼信息?誰生成它?信息流的去向是哪裡由誰處理?可以輔之以數據流圖。
(2)數據建模:為支持業務過程的數據流找數據對象集合,定義數據對象屬性,與其他數據對象關係構成數據模型,可輔之以E-R圖。
(3)過程建模:使數據對象在信息流中完成各業務功能。創建過程以描述數據對象的增加、修改、刪除、查找,即細化數據流圖中的處理框。
(4)應用程序生成:利用第四代語言(4GL)寫出處理程序,重用已有構件或創建新的可重用構件,利用環境提供的工具自動生成並構造出整個應用系統。
(5)測試與交付,由於大量重用,一般只做系統測試,但新創建的構件還是要測試的。
每個軟體開發組織應該選擇適合於該組織的軟體開發模型,並且應該隨著當前正在開發的特定產品特性而變化,以減小所選模型的缺點,充分利用其優點,下表列出了幾種常見模型的優缺點。
瀑布模型 文檔驅動 系統可能不滿足客戶的需求
快速原型模型 關注滿足客戶需求 可能導致系統設計差、效率低,難於維護
增量模型 開發早期反饋及時,易於維護 需要開放式體系結構,可能會導致效率低下
螺旋模型 風險驅動 風險分析人員需要有經驗且經過充分訓練