2. 系统验证与确认基础
在MBSE（基于模型的系统工程）语境下，验证（Verification）与确认（Validation）是两条贯穿系统生命周期、但目标截然不同的工程活动。很多初学者会把二者混为一谈，认为“测试通过了就等于需求满足了”，这恰恰是V&V工程中最危险的误解。本节先厘清定义，再讨论区别与联系，最后落到MBSE中的目标、原则、标准与典型应用场景。
一、定义：验证回答“建对了吗”，确认回答“建的是对的东西吗”
验证（Verification）的核心问题是：我们是否正确地构建了系统？它关注的是“产品是否与它的设计规格、需求基线一致”。验证的参照物是需求与设计描述，输入是需求规格、接口定义、设计模型，输出是“符合/不符合”的客观证据。典型手段包括评审、分析、检查、演示和测试（即IEEE 1012中的四类验证方法：Inspection、Analysis、Demonstration、Test）。
确认（Validation）的核心问题是：我们是否构建了正确的系统？它关注的是“系统在真实使用环境中是否满足利益相关者的期望与使命目标”。确认的参照物是用户需求、使用场景与运行环境，输入是运行概念（ConOps）、使用剖面、真实或高保真环境，输出是“系统在预期任务中可用、有效”的证据。
一个经典类比：按图纸造出一把钥匙，齿形尺寸全部合格——这是验证通过；但钥匙能否打开那把锁、是否好用——这是确认。图纸再精确，锁打不开，确认就是失败的。
二、区别与联系：参照物不同，但证据链必须闭合
二者的根本区别在于参照基准：验证对照“需求/设计”，确认对照“用户期望/使用环境”。由此派生出方法、时机、环境、责任主体的差异。验证可以在部件级、集成级用仿真或台架完成；确认通常需要系统级、接近真实运行环境的场景，且往往由用户或独立确认方参与。
但二者并非割裂。验证是确认的基础：如果连需求符合性都没有证据，系统级确认就缺乏可信前提；而确认又反过来检验需求本身是否正确——如果确认失败，问题可能不在实现，而在需求定义阶段就偏离了用户真实需要。因此V&V构成一条双向证据链：验证自下而上证明“实现符合规格”，确认自上而下证明“规格符合使命”。
三、MBSE中的V&V目标与原则
在MBSE中，V&V不再只是后期测试活动，而是模型驱动的持续证据生成过程。其目标可归纳为三点：一是尽早发现需求与设计缺陷，降低后期返工成本；二是建立从需求到验证用例、再到测试结果的可追溯链；三是让确认活动在虚拟环境中提前开展，例如用SysML模型驱动仿真验证使用场景。
应遵循的核心原则包括：
- 独立性原则：验证与确认活动应由非直接开发者执行或独立评审，避免“自己证明自己”。
- 可追溯性原则：每条需求至少关联一个验证方法和一个确认场景，形成双向追溯矩阵。
- 尽早介入原则：V&V规划与需求定义同步启动，左移（Shift Left）到概念阶段。
- 基于风险原则：高风险、高复杂度需求优先分配更严格的验证与确认资源。
- 证据可复现原则：测试用例、环境配置、模型版本必须可复现，否则证据无效。
四、标准依据：IEEE 1012与ISO 15288
IEEE 1012（系统、软件和硬件验证与确认）是V&V领域的核心标准，它定义了V&V的完整性等级（Integrity Level 1~4）、四类验证方法（检查、分析、演示、测试）、V&V计划与报告的内容要求，以及各生命周期阶段的V&V任务。它强调V&V活动必须与系统关键性等级匹配：等级越高，要求的独立性和证据强度越高。
ISO/IEC/IEEE 15288（系统生命周期过程）则从过程视角规定V&V：验证过程（Verification Process）确认系统元素满足其规定需求；确认过程（Validation Process）确认系统满足其预期使用目标。15288强调V&V是技术过程组中的正式过程，需有输入、输出、活动和控制，并与利益相关者需求管理过程、架构定义过程协同。
在MBSE项目中，通常将这两个标准映射到模型工作流：用SysML需求图承载需求基线，用活动图/状态机描述验证用例，用参数图绑定分析模型，最终由模型自动生成V&V追溯矩阵和测试规程草案。
五、典型应用场景
以一个无人机飞控系统为例：验证活动包括——检查飞控软件是否实现了所有接口定义；分析控制律在包线内的稳定性；演示模式切换逻辑；测试传感器故障注入后的响应时间是否小于200ms。这些活动的参照物是飞控需求规格。确认活动则包括——在真实或高保真飞行场景中，验证无人机能否完成既定侦察任务、操作员是否能在规定时间内接管、任务成功率是否达到用户期望。参照物是用户任务书与运行概念。
总结来看，验证与确认是同一枚硬币的两面：验证确保“规格被正确实现”，确认确保“规格本身正确”。在MBSE中，二者通过模型追溯链紧密耦合，共同构成系统交付可信度的基石。理解它们的区别与联系，是后续开展V&V规划、用例设计与证据管理的前提。