在软件研发过程中，需求验证是质量保障的关键一环。然而，当需求变得复杂、涉及多个场景和多个维度时，传统的验证方式往往力不从心。例如，需求要验证其功能、性能、安全等多个方面是否完成并达标，但它却无法在系统中完整地被跟踪检查；想了解需求验证进行的程度时，却缺少多维度的状态视图提供呈现；相似的验证工作往往要从头开始，重复劳动造成时间和成本的无效消耗。

华望系统科技自主研发的M-require软件的3620版本采用 “解耦验证计划与验证活动，引入标准化活动库”的方式，提出了需求验证模型的重构方案，有效解决了上述在需求验证过程中存在的困境。

一、现状与痛点

在以往的工作模式下，需求验证计划承担了过多职责——既要定义策略、范围、目标，又要承载具体的验证场景和步骤。这常常导致出现以下三个典型问题：

• 复杂需求无法完整被跟踪

一个需求往往需要从功能、性能、安全、异常等多个维度进行验证。在以往的模型中，当一个需求关联多个验证计划、每个计划又包含多个测试用例时，需求难以呈现被完整验证的全貌。

• 验证进度和状态模糊

业务方、产品经理、测试负责人等各角色在了解当前验证开展的进度和状态时，只能看到多个孤立的计划执行结果，无法呈现出多维度结果聚合的状态。

• 重复劳动低效且易错

同类需求的验证场景高度相似，却没有可复用的模板，项目团队被迫重复建模。这不仅效率低下、成本提升，还容易遗漏关键验证点。

二、解决方案：解耦+复用

为了解决上述痛点，M-Require 3620版本采用 “解耦验证计划与验证活动，引入标准化活动库”的方式，提出了需求验证模型的重构方案

1、验证计划—专注于“管什么”

验证计划不再承载具体步骤，而是聚焦于组织与管理。它定义了：

• 验证策略：采用什么验证方法；
• 验证范围：覆盖哪些需求、哪些模块；
• 验证目标：计划要达成的验收标准；
• 验证责任：谁对验证计划的制定负责。

2、验证活动—专注于“怎么验”

验证活动是真正的执行单元，它承载了：

• 验证场景：在什么条件下进行验证；
• 验证步骤：验证活动具体怎么操作；
• 验收标准：怎样评价验证达到要求。

一个验证计划可以包含多个验证活动，从而实现对单个需求的多场景、多维度的覆盖。

3、验证活动库—专注于“怎么复用”

验证活动库是一个中央知识库，用于沉淀标准化的验证活动模板，它实现了：

• 固化：将高频使用的验证场景固化为模板；
• 调用：开展新需求验证时可直接从活动库引用模板；
• 迭代：持续完善和更新库内容。

三、案例解析

以某无人机飞行控制系统中的核心需求为例，完整演示M-Require 3620版本中新方案的模型应用。

• 需求背景

无人机在GPS信号丢失且存在电磁干扰的环境中，能够保持姿态稳定而不出现漂移或震荡。

• 建模步骤

1、创建验证计划

（1）创建如下“抗干扰能力专项验证计划”大纲：

要素	内容
验证范围	主需求及关联的3个子需求
验证策略	HIL（硬件在环）仿真 + 外场实测
验证目标	所有场景下姿态角度误差 ≤ 2°
责任人	张三（系统测试组）

（2）新建满足需求的验证计划（如图1所示）：

图1     验证计划列表的界面图

2、从活动库装配验证活动

从验证活动库中装配以下4个验证活动：其中3个活动直接采取复用，创建时间从2小时缩短至15分钟

活动名称	验证维度	验收标准
GPS丢失后姿态保持	功能/鲁棒性	丢星30秒内漂移量<1m
电磁干扰下IMU数据校验	数据质量	IMU噪声增幅<200%
强风干扰响应时间	性能	扰动后2秒内恢复稳定
传感器融合故障切换	可靠性	主IMU异常时，100ms内切换至备用

（1）点击验证计划，弹出关联验证活动的弹框（如图2所示）：

图2     关联验证活动的界面图

（2）点击弹框中的“添加”，在库中选择可以复用的验证数据进行添加（如图3、4所示）：

图3     选取验证活动的界面图

图4     关联验证活动的界面图

（3）在弹框中勾选验证活动后点击执行，选择验证结果状态并添加相关描述（如图5、6所示）：

图5     填写执行结果的界面图

图6     关联验证活动的界面图

（4）验证活动执行后，对应的验证计划以及关联的需求完成更新（如图7、8所示）：

图7     验证计划列表的界面图

图8    需求特性的界面图

3、多维度状态跟踪

验证计划启动后，进入关联的验证活动的执行操作。当所有维度的结果均显示“通过”后，可进入发布审批阶段。当需求下的所有验证计划均已完成后，可进入发布审批阶段。此时，需求将被自动聚合在多维度状态下的看板中，可清晰地呈现出对应的验证计划和验证活动及其执行情况。

（1）进入“验证活动矩阵”菜单，点击新建并输入名称，选择需要验证检查的需求数据，新建验证活动矩阵（如图9、10所示）：

图9    验证活动矩阵列表的界面图

图10    新建验证活动矩阵的界面图

（2）点击活动矩阵数据进入详情，选择活动视图，显示需求的验证完成情况以及验证活动的执行情况（如图11、12所示）：

图11    验证活动矩阵（默认视图）的界面图

图12    验证活动矩阵（活动视图）的界面图

四、新功能的价值

1. 对于测试团队：提效避繁

• 验证活动库的存在，让标准化场景实现“一次创建，多次复用”；
• 验证计划与验证活动的解耦与组合，可快速灵活响应需求变更。

2. 对于项目管理者：风险可控

• 需求验证状态的多维度聚合，让管理者清晰识别验证空白；
• 看板视图功能，使得哪个维度滞后、哪个活动阻塞一目了然。

3. 对于业务方/产品经理：质量可信

• 每个需求都有明确的验证活动清单和执行记录；
• 验收执行基于可追溯、可复现的验证证据。

4. 对于组织机构：知识沉淀

• 验证活动库成为组织机构的“数据资产”；
• 新人上手只需调用和学习库中的模板，降低了培训时间和成本。

-END-

---

*本文为原创，最终解释权归杭州华望系统科技所有。未经授权，严禁复制或转载。

*关注【杭州华望MBSE】将推送更多精彩有趣的文章，期待与你同行！

⬇️更多阅读内容 ⬇️

版本更新 | 华望M-Design 4500版本产品功能更新详解-CSDN博客文章浏览阅读217次，点赞5次，收藏2次。摘要：华望系统科技发布M-Design 4500版本MBSE建模软件，基于SysMLV1.6规范，主要新增四大功能：1）支持自定义校验规则，实现灵活业务适配与高效纠错；2）打通体系级与系统级项目壁垒，支持跨层级资产复用；3）多节点复制粘贴功能提升复杂模型构建效率；4）建模流程引导视图自动创建规范包结构，降低操作门槛。该版本通过增强模型校验、项目互通和操作便捷性，显著提升系统工程建模效率与协作水平。https://blog.csdn.net/HZHW_MBSE/article/details/161866736?spm=1011.2124.3001.6209产品更新｜基于华望M-Design v2平台实现从SysML v1到SysML v2模型的迁移_华望m-design的sysml模型的示例xml文件吗?-CSDN博客文章浏览阅读621次，点赞13次，收藏6次。摘要：华望M-Designv2平台是国内首款支持SysMLv2规范的系统建模工具，可帮助企业实现SysMLv1到v2的模型迁移。该平台采用"先试后转"策略，提供智能解析引擎和多进程并行转换功能，支持85%以上的模型要素迁移，保持原有结构关系和视图要素的完整性。通过全格式兼容、后台任务管理等创新功能，实现高效、可控的模型升级，助力企业低成本完成MBSE标准升级。平台已支持多种主流建模工具的文件格式转换，为复杂系统全生命周期建模提供有力支撑。_华望m-design的sysml模型的示例xml文件吗?https://blog.csdn.net/HZHW_MBSE/article/details/159544730?spm=1011.2124.3001.6209