3. 从任务需求到验证场景
在系统级任务场景验证中,最容易被忽视、却决定验证是否有效的环节,是“需求到场景”的转换过程。任务需求通常以功能、性能、约束的形式给出,例如“无人机在8级风下完成定点悬停,位置误差不超过3 m”。这类需求本身无法直接执行,必须经过分解、场景派生、覆盖度分析和追溯矩阵建立,才能变成可运行、可判定的验证场景。本节围绕这条链路,说明每一步的实际做法。
一、需求分解:把“任务级要求”拆成可验证条目
需求分解的目标不是把一句话拆成多句话,而是把不可直接判定的任务需求,拆成具有明确输入、判据和边界条件的验证条目。分解时通常沿三个维度展开:功能维度(系统要做什么)、性能维度(做到什么程度)、约束维度(在什么条件下做)。
以“无人机在8级风下完成定点悬停,位置误差不超过3 m”为例,可分解为:
- 功能条目:飞控能够进入并保持定点悬停模式;
- 性能条目:在平均风速18.5 m/s、阵风22 m/s条件下,水平位置误差≤3 m;
- 约束条目:GNSS可用、气压高度可用、电池电量≥30%。
分解后的每条需求应具备唯一编号、来源、判据和验证方法。编号建议采用“任务代号-需求类别-序号”,如UAV-HOV-PERF-003,便于后续追溯。判据必须可量化,避免“稳定”“正常”这类无法判定的表述。
二、场景派生:从需求条目生成可执行场景
场景派生是把需求条目映射为“初始状态+环境条件+操作序列+终止条件”的过程。一个需求可能派生多个场景,一个场景也可能覆盖多条需求。派生的关键是识别影响需求判定的变量,并为其设置典型值、边界值和异常值。
仍以悬停需求为例,可派生三类场景:
- 典型场景:风速18.5 m/s、无阵风、GNSS正常,验证基本性能;
- 边界场景:风速22 m/s、阵风持续5 s,验证性能边界;
- 异常场景:GNSS短时丢失3 s,验证降级策略与安全性。
每个场景应记录场景编号、关联需求编号、环境参数、初始状态、操作序列和终止判据。场景编号建议与需求编号建立可读关联,如SCN-HOV-003-A,其中A表示典型场景。
三、场景覆盖度分析:判断“够不够”
场景覆盖度分析回答两个问题:每条需求是否至少被一个场景覆盖?每个场景是否至少关联一条需求?前者防止需求遗漏,后者防止场景冗余。实际分析时,可建立“需求—场景”二维矩阵,行是需求条目,列是场景编号,交叉点标记覆盖关系。
覆盖度指标通常包括:需求覆盖率=被覆盖需求数/总需求数;场景有效率=关联需求的场景数/总场景数;边界覆盖率=包含边界条件的场景数/应覆盖边界数。以悬停需求为例,若分解出3条需求、派生3个场景,且每条需求至少被一个场景覆盖,则需求覆盖率为100%。若某条约束需求未被任何场景覆盖,则存在覆盖缺口,需要补充场景或调整场景参数。
覆盖度分析不是一次性的,而是随需求变更和场景迭代持续更新。建议在每次场景评审后重新计算覆盖率,并记录缺口原因和补充计划。
四、需求-场景-验证项追溯矩阵的建立方法
追溯矩阵是验证活动的“账本”,用于回答“这条需求由哪个场景验证、由哪个验证项执行、结果在哪里”。建立方法如下:
- 确定矩阵维度:行=需求条目,列=场景编号,单元格填写验证项编号和状态。
- 填入正向关系:从需求出发,找到覆盖它的场景,再找到执行该场景的验证项。
- 填入反向关系:从验证项出发,确认它关联的场景和需求,避免“无需求验证项”。
- 标记状态:未覆盖、已覆盖未执行、已执行通过、已执行失败。
- 定期审查:检查是否有需求无场景、场景无验证项、验证项无需求。
以下是一个可直接使用的追溯矩阵示例,字段包括需求编号、需求描述、场景编号、验证项编号、验证状态和备注:
| 需求编号 | 需求描述 | 场景编号 | 验证项编号 | 状态 | 备注 |
|---|---|---|---|---|---|
| UAV-HOV-FUNC-001 | 进入并保持定点悬停模式 | SCN-HOV-003-A | TC-HOV-003-A | 已执行通过 | 模式切换正常 |
| UAV-HOV-PERF-003 | 8级风下水平误差≤3 m | SCN-HOV-003-A/B | TC-HOV-003-A/B | 边界待执行 | 典型通过,边界待测 |
| UAV-HOV-CONS-002 | GNSS丢失3 s内安全降级 | SCN-HOV-003-C | TC-HOV-003-C | 未执行 | 需补充降级判据 |
五、常见问题与处理
实际工作中,需求分解过粗会导致场景无法判定,分解过细会导致场景数量爆炸。建议以“一条需求对应一个可独立判定的判据”为粒度。场景派生时,若同一场景覆盖过多需求,需检查是否遗漏了环境变量;若某需求派生场景过多,需合并同类参数,保留典型、边界和异常三类即可。
覆盖度分析中,若发现需求覆盖率低于100%,优先补充场景而不是修改需求;若场景有效率低,说明存在冗余场景,应合并或删除。追溯矩阵中若出现“验证项无需求”,通常意味着验证活动超出了任务范围,需要确认是否属于新增需求或应删除。
通过需求分解、场景派生、覆盖度分析和追溯矩阵四步闭环,任务需求才能转化为可执行、可判定、可追溯的验证场景,为后续系统级验证提供可靠输入。