fbpx
维基百科

軟體驗證及確認

十一月 23, 2023

在軟體專案管理、軟體工程及軟體測試中，驗證及確認（verification and validation，簡稱V&V）是指檢查軟體是否符合規格及其預期目的的程序。驗證及確認也被視為一種軟體品質管理，是软件开发过程的一部份，一般歸類在軟體測試中。

驗證及確認有時會由公正的第三方單位進行，此情形下的驗證及確認稱為獨立驗證及確認，簡稱IV&V。

定義 编辑

確認（validation）的目的是檢查產品設計是否符合其預期的目的，軟體確認的目的是檢查軟體是否符合使用者的需求而言，可以由動態檢查（英语：dynamic testing）或是其他方式的審查來達成。

依照能力成熟度模型（CMMI-SW v1.1）的定義：

  • 確認（validation）：是在特定開發階段中，評估軟體是否符合階段開始前所定義條件的程序（IEEE-STD-610）。
  • 驗證（verification）: 是在開發階段後，評估軟體是否符合規格需求的程序（IEEE-STD-610）。

換句話說，程序確保產品符合客戶需求，而驗證程序確保產品符合要求及設計規格。確認程序確保「製造出正確的產品」（you built the right thing），也就是符合客戶需求的產品，而驗證程序確保「以正確的方式製造產品」（you built it right）。

白話來說，對於抓老鼠為目的：

Validation
黑貓白貓能抓老鼠的就是好貓。
Verification
預先定義貓的健康標準，以此標準飼養符合條件的高品質成貓，期待其能抓老鼠。（期待而不保證）

在建模與模擬（英语：modeling and simulation）社群中，確認、驗證及资格认可（英语：accreditation）的定義類似：

  • 確認是評估建模或模擬及其相關資料是否準確表達其預期機能的程序[1]
  • 资格认可是認證建模與模擬可以用在特定用途的正式認證過程[1]。
  • 驗證是評估電腦建模或模擬及其相關資料是否準確描述開發者概念描述及規格的程序[1]。

相關概念 编辑

驗證及確認都是屬於軟體品質保證的一部份，但只靠驗證及確認無法確保軟體品質，需配合計劃、可追蹤性、組態管理及其他軟體工程的概念才能確保軟體品質。

分類 编辑

對於要求完美性能的任務關鍵系統，會使用形式方法確認系統的正確性，不過形式方法的成本相當的高[2]，若是非任務關鍵系統，一般會使用其他的驗證及確認方式，例如句法方法（英语：syntactic methods）等。

測試用例 编辑

主条目：測試用例

測試用例是驗證及確認過程中使用的工具，測試用例一组条件或变量，测试者根据它来确定应用软件或軟體系統是否正确工作。

測試用例是為了驗證而準備，其目的是評估後續建構產品的程序是否正確。

測試用例是為了確認而執行，是評估產品是否依照使用者的需求而設計及製造的程序，若在軟體開發生命週期的前面，會用其他方法（例如軟體評審（英语：Software review））進行確認。

監管環境 编辑

有一些產業的驗證及確認需符合相關法令的相容性要求，一般會由政府機構[3][4]或是產業主管部份進行指導。例如美国食品药品监督管理局要求醫療設備的軟體及補丁均需經過確認的程序。[5]

有關條目 编辑

參考資料 编辑

  1. ^ 1.0 1.1 1.2 Department of Defense Documentation of Verification, Validation & Accreditation (VV&A) for Models and Simulations. Missile Defense Agency. 2008. 
  2. ^ M. Archer, C. Heitmeyer and E. Riccobene. Proving invariants of I/O automata with TAME. Automated Software Engineering, 9, 201-232 (2002). 
  3. ^ General Principles of Software validation; Final Guidance for Industry and FDA Staff (PDF). Food and Drug Administration. 11 January 2002 [12 July 2009]. （原始内容 (PDF)于2017-08-30）. 
  4. ^ Guidance for Industry: Part 11, Electronic Records; Electronic Signatures — Scope and Application (PDF). Food and Drug Administration. August 2003 [12 July 2009]. （原始内容 (PDF)于2010-07-30）. 
  5. ^ Guidance for Industry: Cybersecurity for Networked Medical Devices Containing Off-the Shelf (OTS) Software (PDF). Food and Drug Administration. 14 January 2005 [12 July 2009]. （原始内容 (PDF)于2018-12-30）. 

十一月 23, 2023
軟體驗證及確認, 在軟體專案管理, 軟體工程及軟體測試中, 驗證及確認, verification, validation, 簡稱v, 是指檢查軟體是否符合規格及其預期目的的程序, 驗證及確認也被視為一種軟體品質管理, 是软件开发过程的一部份, 一般歸類在軟體測試中, 驗證及確認有時會由公正的第三方單位進行, 此情形下的驗證及確認稱為獨立驗證及確認, 簡稱iv, 目录, 定義, 相關概念, 分類, 測試用例, 監管環境, 有關條目, 參考資料定義, 编辑確認, validation, 的目的是檢查產品設計是否符合其. 在軟體專案管理 軟體工程及軟體測試中 驗證及確認 verification and validation 簡稱V amp V 是指檢查軟體是否符合規格及其預期目的的程序 驗證及確認也被視為一種軟體品質管理 是软件开发过程的一部份 一般歸類在軟體測試中 驗證及確認有時會由公正的第三方單位進行 此情形下的驗證及確認稱為獨立驗證及確認 簡稱IV amp V 目录 1 定義 2 相關概念 3 分類 3 1 測試用例 4 監管環境 5 有關條目 6 參考資料定義 编辑確認 validation 的目的是檢查產品設計是否符合其預期的目的 軟體確認的目的是檢查軟體是否符合使用者的需求而言 可以由動態檢查 英语 dynamic testing 或是其他方式的審查來達成 依照能力成熟度模型 CMMI SW v1 1 的定義 確認 validation 是在特定開發階段中 評估軟體是否符合階段開始前所定義條件的程序 IEEE STD 610 驗證 verification 是在開發階段後 評估軟體是否符合規格需求的程序 IEEE STD 610 換句話說 程序確保產品符合客戶需求 而驗證程序確保產品符合要求及設計規格 確認程序確保 製造出正確的產品 you built the right thing 也就是符合客戶需求的產品 而驗證程序確保 以正確的方式製造產品 you built it right 白話來說 對於抓老鼠為目的 Validation 黑貓白貓能抓老鼠的就是好貓 Verification 預先定義貓的健康標準 以此標準飼養符合條件的高品質成貓 期待其能抓老鼠 期待而不保證 在建模與模擬 英语 modeling and simulation 社群中 確認 驗證及资格认可 英语 accreditation 的定義類似 確認是評估建模或模擬及其相關資料是否準確表達其預期機能的程序 1 资格认可是認證建模與模擬可以用在特定用途的正式認證過程 1 驗證是評估電腦建模或模擬及其相關資料是否準確描述開發者概念描述及規格的程序 1 相關概念 编辑驗證及確認都是屬於軟體品質保證的一部份 但只靠驗證及確認無法確保軟體品質 需配合計劃 可追蹤性 組態管理及其他軟體工程的概念才能確保軟體品質 分類 编辑對於要求完美性能的任務關鍵系統 會使用形式方法確認系統的正確性 不過形式方法的成本相當的高 2 若是非任務關鍵系統 一般會使用其他的驗證及確認方式 例如句法方法 英语 syntactic methods 等 測試用例 编辑 主条目 測試用例 測試用例是驗證及確認過程中使用的工具 測試用例一组条件或变量 测试者根据它来确定应用软件或軟體系統是否正确工作 測試用例是為了驗證而準備 其目的是評估後續建構產品的程序是否正確 測試用例是為了確認而執行 是評估產品是否依照使用者的需求而設計及製造的程序 若在軟體開發生命週期的前面 會用其他方法 例如軟體評審 英语 Software review 進行確認 監管環境 编辑有一些產業的驗證及確認需符合相關法令的相容性要求 一般會由政府機構 3 4 或是產業主管部份進行指導 例如美国食品药品监督管理局要求醫療設備的軟體及補丁均需經過確認的程序 5 有關條目 编辑編譯器正確性 英语 Compiler correctness 形式验证 機能性規格 英语 Functional specification 醫療軟體 英语 Medical software 獨立驗證及確認機構 英语 Independent Verification and Validation Facility 國際軟體測試認證委員會 軟體驗證 軟體需求規格 確認 藥品生產 英语 Validation drug manufacture 驗證及確認 V模型 軟體開發 參考資料 编辑 1 0 1 1 1 2 Department of Defense Documentation of Verification Validation amp Accreditation VV amp A for Models and Simulations Missile Defense Agency 2008 M Archer C Heitmeyer and E Riccobene Proving invariants of I O automata with TAME Automated Software Engineering 9 201 232 2002 General Principles of Software validation Final Guidance for Industry and FDA Staff PDF Food and Drug Administration 11 January 2002 12 July 2009 原始内容存档 PDF 于2017 08 30 Guidance for Industry Part 11 Electronic Records Electronic Signatures Scope and Application PDF Food and Drug Administration August 2003 12 July 2009 原始内容存档 PDF 于2010 07 30 Guidance for Industry Cybersecurity for Networked Medical Devices Containing Off the Shelf OTS Software PDF Food and Drug Administration 14 January 2005 12 July 2009 原始内容存档 PDF 于2018 12 30 取自 https zh wikipedia org w index php title 軟體驗證及確認 amp oldid 79591436, 维基百科，wiki，书籍，书籍，图书馆，

文章

，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。