軟體有效性驗證

軟體有效性驗證是對所開發出的產品與用戶的期望做一致性檢驗的過程。因此，軟體的驗證不同於簡單的正確性檢驗。

基本介紹

• 中文名：軟體有效性驗證 
• 外文名：Software validation
• 定義：對所開發出的產品與用戶的期望做一致性檢驗的過程

(1)軟體檢驗，即是否在正確地建立一個產品。

(2)軟體有效性驗證，即是否在建立一個正確的產品。

這樣的一個定義似乎僅僅是文字遊戲，但是卻從本質上刻畫了二者的區別。

軟體檢驗就是要檢查所實現的軟體是否符合它的規格描述。應該說這樣的檢查只考慮軟體與需求階段得到的軟體規格說明書的一致性。而有效性驗證卻是一個更寬泛的過程，包括對軟體是否滿足用戶的需要進行檢驗。很顯然，檢驗需求規格說明書與檢驗客戶需求是明顯不同的事。

軟體檢驗和有效性驗證的費用很高，對於大型系統尤其如此。因此，認真並儘早規劃軟體檢驗和有效性驗證能獲取較高的收益。

在軟體的檢驗和驗證過程中，不可避免地會發現系統中存在的缺陷並修正這些缺陷。排除缺陷的過程就是一個調試的過程，這一過程通常會與其他軟體檢驗和有效性驗證活動交叉進行。但是，測試和調試本質上是兩個不同的過程。檢驗和有效性驗證是在證明一個程式存在缺陷，而調試卻是定位和修改缺陷的過程。

調試過程是一項複雜的任務，充滿了艱巨的腦力勞動。