Product Design, Manufacturing & Innovation Resources
家 » 核查与验证

核查与验证

1980
  • Barry Boehm
工程师团队讨论软件开发中的验证和确认。

(图片仅供参考)

Verification and validation (V&V) are distinct processes. Verification ensures a product meets its specified requirements (“Are you building it right?”). Validation ensures the product meets the user’s actual needs and intended use (“Are you building the right thing?”). They are complementary activities within quality management, often performed sequentially or in parallel to ensure both correctness and usefulness. Verification against written requirements also exposes defects that a team might otherwise defend by saying it’s not a bug it’s a feature, whose meaning is simply that an unwanted behavior is relabeled as intended. The it’s not a bug it’s a feature meaning is a reminder that requirements must be explicit.

验证和确认之间的区别对于任何复杂工程学科(尤其是软件和系统工程)的质量保证都至关重要。验证是一个内部质量流程,专注于确保符合规范。它包括对设计文档、代码和需求进行审查、检查和走查等活动。其目标是在开发生命周期的早期发现缺陷。例如,代码审查验证软件是否符合编码标准,并正确实现了设计文档中描述的特定算法。

另一方面,验证是一种外部质量流程,侧重于产品是否符合预期用途。它评估最终产品在预期运行环境中是否有效。这通常涉及使用实际用户或在模拟的真实环境中测试产品。例如,用户验收测试 (UAT) 就是一种验证活动,最终用户通过测试软件来检验其是否能帮助他们高效地完成任务。即使系统经过完美验证——意味着它没有任何缺陷并且符合所有已记录的规范——但如果这些规范存在缺陷或未能准确反映用户的真实需求,则仍然可能无法通过验证。

Barry Boehm 的研究强调,验证和确认这两个环节回答的是不同的问题,但对于成功交付产品至关重要。忽略验证会导致产品漏洞百出、不可靠,而忽略确认则会导致产品虽然技术上无可挑剔,但最终对目标用户而言却毫无用处。这两个环节相辅相成,共同确保产品的正确性和实用性。

UNESCO Nomenclature: 1203
- 计算机科学

类型

抽象系统

中断

重大的

用法

广泛使用

前体

  • 制造业质量控制的早期概念
  • 形式逻辑和证明论
  • 结构化编程原则
  • 早期软件测试方法

应用程序

  • 敏捷软件开发方法
  • 系统工程生命周期模型(例如,V模型)
  • 药物开发方案
  • 航空航天系统认证(例如,DO-178C)
  • 医疗器械 审批流程(例如,FDA法规)

专利:

NA

潜在创新理念

  • ai-driven user simulation for automated validation
  • continuous integration/continuous validation (ci/cv) pipelines
  • blockchain-based ledgers for immutable verification records in supply chains
  • 数字孪生 models for pre-deployment validation of physical systems
  • automated requirement-to-code traceability tools for enhanced verification
  • gamified user acceptance testing platforms
  • crowdsourced validation for consumer software products
  • formal methods integrated into standard ide environments for real-time verification
相关领域:验证、确认、质量保证、软件工程、系统工程、需求​​、规范、测试。

历史背景

核查与验证

1970
1970-01-01
1975-06-01
1980
1980
1980
1982-07-01
1970
1970
1973
1980
1980
1980
1980
1986-01-01

(如果日期未知或不相关,例如“流体力学”,则提供其显著出现的近似估计)

第十年 周年纪念日

只有注册会员才能免费获得 100% 的全尺寸图片和下载。.

> 登录 <