V型模型是瀑布模型的一個變種，如圖2.6所示。它同樣需要一步一步進行，前一個階段的任務完成之后才可以進行下一階段的任務。這個模型強調測試的重要性，它將開發活動與測試活動緊密地聯系在一起。每一步都將比前一階段進行更加完善的測試。 實驗證明，一個項目50%以上的時間花在測試上。通常，大家對測試存在一種誤解，認為測試是開發周期的一個階段。其實，早期的測試對提高產品質量、縮短開發周期起著重要作用。V型模型也正好說明了測試的重要性，它是與開發并行的，這個模型體現了全過程的質量意識。
V型模型的特點如下： （1）簡單易用，只要按照規定的步驟一步一步執行即可。 （2）V型模型強調測試過程與開發過程的對應性和并行性，例如單元測試對應詳細設計，集成測試對應概要設計，系統測試對應需求分析。 （3）V型模型沒有反映實際的開發過程，實際的開發過程會有很多的迭代過程，比如實施過程中會發現設計中的問題，然后去修正，測試過程中也會返回前一段，重新做一些事情。
使用指南：
使用V型模型，要求開發的人過程是嚴格按照順序進行的，一個階段的輸出是下一個階段的輸入。同時，注意圖2.6中虛線對應過程聽并行考慮，例如需求分析階段應該有系統測試的準備，概要設計階段應該有集成測試的準備，詳細設計階段應有單元測試的準備等。 V型模型適合的場合： 項目的需求在項目開始前很明確，解決方案在項目開始前也很明確，項目對系統的性能很嚴格。類似的項目如：航天飛機控制系統，公司的財務系統等。 8 形式化方法模型 形式化方法特別適合于那些對性、可靠性和保密性要求的軟件系統開發，它采用形式化的數學方法將系統描述轉換成可執行的程序。 形式化方法的過程模型如圖1.5.7所示，它首先將軟件需求描述提煉成采用數學符號表達的形式化描述，然后經過一系列的形式化轉換將形式化描述自動轉換成可執行程序，將整個系統集成起來進行測試。 形式化轉換n 形式化轉換n 由于數學方法具有嚴密性和準確性，形式化方法開發過程所交付的軟件系統具有較少的缺陷和較高的性。但是，形式化方法在實際軟件開發中應用并不多，其主要原因在于： 開發人員需要具備一定技能并經過特殊訓練后才能掌握形式化開發方法。 現實應用的系統大多數是交互性強的軟件，但是這些系統難以用形式化方法進行描述。 形式化描述和轉換是一項費時、費力的工作，采用這種方法開發系統在成本和質量等方面并不占優勢。