4. 需求追溯与验收准则
在航空航天HIL验收与交付中，需求追溯不是文档管理动作，而是决定“验收是否成立”的技术主线。系统需求通常以自然语言描述功能、性能、接口与安全性目标，例如“飞控计算机在双通道故障后应在200 ms内切换至备份通道并保持姿态误差不超过0.5°”。这类需求无法直接作为HIL测试用例执行，必须经过分解、量化、接口映射与可观测性设计，才能形成可执行的HIL测试需求，并最终通过追溯矩阵证明“每条系统需求都有测试覆盖，每个测试结果都能回溯到验收准则”。
一、从系统需求到HIL测试需求的分解逻辑
分解不是简单拆句，而是沿着“功能—接口—激励—观测—判据”五个维度展开。以“双通道故障切换”为例，系统需求可分解为：
- 功能分解：故障检测、通道切换、备份通道接管、姿态保持。
- 接口分解：故障注入点位于通道A的离散量输入；切换指令通过ARINC 429总线输出；姿态反馈来自惯导仿真接口。
- 激励分解：在t=10 s注入通道A故障，持续500 ms。
- 观测分解：记录切换指令时间戳、备份通道使能信号、姿态角误差。
- 判据分解：切换时间≤200 ms；姿态误差≤0.5°；无二次故障。
分解后的HIL测试需求应具备唯一编号、来源需求编号、测试类型、前置条件、激励参数、观测变量、通过判据和容差。例如：
HIL-TR-0042
来源：SYS-REQ-0117（双通道故障切换）
测试类型：故障注入+动态响应
前置条件：HIL台架已加载飞控软件V2.3，惯导仿真器输出有效，通道A/B均处于健康状态
激励：t=10 s，通道A离散量故障置1，持续500 ms
观测：切换指令时间戳、备份通道使能、俯仰/滚转角误差
判据：切换时间≤200 ms；姿态误差≤0.5°；无二次故障标志
容差：时间±10 ms；角度±0.05°二、追溯矩阵的建立方法
追溯矩阵是需求与测试之间的双向映射表。建立时先纵向列出系统需求，横向列出HIL测试需求，交叉点填写覆盖关系。覆盖关系分为完全覆盖、部分覆盖、未覆盖和冗余覆盖。完全覆盖表示该测试需求的所有判据均能证明系统需求；部分覆盖表示只验证了部分子功能，需补充测试；未覆盖必须标记并推动补充；冗余覆盖则用于识别重复测试，优化测试集。
实际操作中，建议采用“需求—测试—结果”三列追溯。每条系统需求至少对应一条HIL测试需求，每条HIL测试需求必须对应至少一条系统需求。对于安全关键需求，如“双通道故障切换”，应要求完全覆盖且不允许仅部分覆盖。追溯矩阵还应记录测试用例版本、执行日期、结果状态和偏离说明，以便在验收评审时快速定位证据。
三、验收准则的可测量化与可验证化
验收准则必须同时满足“可测量”和“可验证”。可测量指每个判据都能对应到HIL台架上的具体观测变量，例如切换时间对应数字量输入到ARINC 429输出之间的时间差，姿态误差对应惯导仿真器输出与飞控解算姿态的差值。可验证指判据有明确的通过/失败边界和容差，例如“切换时间≤200 ms，容差±10 ms”比“切换应足够快”更可验证。
对于无法直接测量的需求，需要设计间接观测方案。例如“备份通道接管后无二次故障”可通过监控故障标志位和总线错误计数器实现；“姿态保持平稳”可通过俯仰/滚转角误差的均方根值或峰值来量化。所有观测变量应在HIL测试需求中明确采样率、量程、精度和记录方式，避免验收时因数据不可用而无法判定。
四、实操示例：一条需求的完整追溯与验收
以SYS-REQ-0117为例，HIL测试执行后得到如下结果：切换指令时间戳为t=10.142 s，故障注入时刻为t=10.000 s，切换时间142 ms，满足≤200 ms；俯仰角误差峰值0.32°，滚转角误差峰值0.28°，均满足≤0.5°；无二次故障标志。因此该测试需求判定为通过，追溯矩阵中SYS-REQ-0117标记为完全覆盖，验收证据为“切换时间曲线+姿态误差曲线+故障标志日志”。
若切换时间为235 ms，则超出判据，需分析是故障检测延迟还是切换逻辑延迟，并检查HIL台架时间同步精度是否满足±10 ms。若姿态误差峰值0.62°，则需检查惯导仿真器输出是否与飞控解算存在时间对齐误差，或备份通道控制律参数是否与设计不符。这些分析结果应记录在偏离说明中，作为验收评审的输入。
五、常见问题与检查要点
- 需求分解不完整：只分解功能，忽略接口、激励和观测，导致测试无法执行。
- 追溯矩阵单向：只从需求查测试，未从测试反查需求，容易遗漏未覆盖需求。
- 判据模糊：使用“正常”“稳定”“快速”等词，无法量化判定。
- 观测变量不可记录：HIL台架未配置相应采样通道或记录带宽不足。
- 容差未定义：时间、角度、电压等参数缺少容差，导致边界情况无法判定。
在HIL验收与交付阶段，需求追溯与验收准则的最终成果是一份可评审的追溯矩阵和一套可执行的HIL测试需求。它们共同证明：每条系统需求都有对应的测试覆盖，每个测试结果都能回溯到明确的验收准则，从而为航空航天系统的安全交付提供可验证的证据链。