軟體有效性驗證
出自 MBA智库百科(https://wiki.mbalib.com/)
目錄 |
軟體有效性驗證是對所開發出的產品與用戶的期望做一致性檢驗的過程。因此，軟體的驗證不同於簡單的正確性檢驗。
(1)軟體檢驗，即是否在正確地建立一個產品。
(2)軟體有效性驗證，即是否在建立一個正確的產品。
這樣的一個定義似乎僅僅是文字游戲，但是卻從本質上刻畫了二者的區別。
軟體檢驗就是要檢查所實現的軟體是否符合它的規格描述。應該說這樣的檢查只考慮軟體與需求階段得到的軟體規格說明書的一致性。而有效性驗證卻是一個更寬泛的過程，包括對軟體是否滿足用戶的需要進行檢驗。很顯然，檢驗需求規格說明書與檢驗客戶需求是明顯不同的事。
軟體檢驗和有效性驗證的費用很高，對於大型系統尤其如此。因此，認真並儘早規劃軟體檢驗和有效性驗證能獲取較高的收益。
在軟體的檢驗和驗證過程中，不可避免地會發現系統中存在的缺陷並修正這些缺陷。排除缺陷的過程就是一個調試的過程，這一過程通常會與其他軟體檢驗和有效性驗證活動交叉進行。但是，測試和調試本質上是兩個不同的過程。檢驗和有效性驗證是在證明一個程式存在缺陷，而調試卻是定位和修改缺陷的過程。
調試過程是一項複雜的任務，充滿了艱巨的腦力勞動。圖1所示為調試過程的示意圖。
定位錯誤並不是一個簡單的過程，因為程式失敗的位置通常並不是錯誤的真實位置，需要調試人員做大量的額外工作來確定錯誤的根源。經驗在定位和設計修複錯誤方案時具有重要的意義。
錯誤修複後需要重新審查程式並執行先前能發現錯誤的測試過程，這一環節就是回歸測試。回歸測試的目的是檢驗錯誤是否被正確地修複，即修複過程是否引入了新的錯誤。
軟體的檢驗和有效性驗證是軟體生命周期中跨越階段的一個過程，從需求評審、設計評審、代碼檢查到軟體測試。在軟體開發的每一個階段都有軟體驗證的活動在進行。
根據軟體檢驗和有效性驗證是否需要有可運行的程式，將軟體驗證的方法分為兩大類。
(1)靜態檢查，即對系統生命周期各個階段產生的文檔進行分析和檢查。這個檢查活動貫穿軟體開發過程的每一個階段。這個階段雖然可以採用一些對文檔進行自動分析的技術，但本質上是一種靜態檢查，無須執行系統。
(2)動態檢查，即軟體測試。通過使用事先設定好的測試數據對軟體的實現進行運行檢查，觀察軟體的運行結果與預期結果是否一致來判斷程式中存在的缺陷。測試是軟體驗證中的動態技術，需要有可動態運行的系統或原型。
圖2所示圖中給出了靜態檢查和動態測試與軟體過程各階段的關係，箭頭表明檢驗技術可以在哪個階段位用。
