驗證 - 驗證軟件的過程

術語“驗證”和“驗證”是經常在技術文獻使用，並與任何軟件的分析的質量。 在科學文獻中有這些概念的不同解釋。 所以，盡量關注此事。

最合適的，在我們看來，是下面的定義。 確認和驗證-是旨在開展質量控制活動 的軟件 在它的早期階段檢測到錯誤。 這似乎是他們有一個共同的目標。 儘管如此，這些物種在核查的性質，限制和規定，違反這些都可以被認為是一個錯誤的來源不同。

驗證-該軟件的符合性檢查 技術文件 的要求規範，架構和域模型提供。 在該術語包括和比較計算程序的發展，規則和標準過程的“義務”。

可以進行數據驗證，設置合規程序制定的標準，要求，設計和用戶文檔的功能。 在這種情況下，強制性的預檢查，應當遵守這些文件，這些文件相比，他們遵守列明在運行該軟件的國家標準和法規。 有必要考慮和尊重執行的操作的所有序列。

在該程序中的錯誤或缺陷的情況下，否則就有了上面提到的文件和程序對儀器的選擇了修正的決定應該是解決特定任務的當前功能之間的衝突。

不像驗證驗證是負責與發達國家或伴有軟件需求或客戶或用戶的需要驗證合規性。 這些需求往往不記錄在任何文檔。 這就是為什麼驗證核查比少形式化。 這是一個過程，這對客戶來說，用戶的代表，也可以參加的分析師或專家 的主題區。 換句話說，那些可以表達的具體需求和利益相關者的真正需求。

驗證 - 是問題的答案“是正確的國產軟件？”，和驗證 - “？請問正確的軟件”。

當回答這些問題搜索，你會發現，驗證（或證書）的含量為大於檢查（檢驗）稍寬。 然而，驗證是緊密聯繫在一起，確保了軟件產品的質量控制。

例如，計算機程序的驗證提供了一種方法，其中用於所述目的的基礎是確保滿足這些要求，特別是獲得的產品生命週期，在先前步驟中獲得的那些。

如果我們談論的模型驗證，在這裡我們將專注於需要概念或計算機模型的正確顯示的驗證 數學模型。

當驗證系統代碼分析源編碼和驗證其匹配紀錄片描述。

驗證過程可以包括包含替代的計算操作。 與現有項目的相關文檔，強制檢測，新軟件產品的測試和演示結果新項目的技術和科學文獻的比較。