1.4 KiB
1.4 KiB
试验需求验证追溯检查器需求规格说明
版本：1.0
1 背景与目标
检查试验需求、验证用例和执行结果之间的追溯闭环，识别未覆盖和失效的验证证据
本文描述预期行为和验收口径，作为实现与验证的输入
2 业务边界
该系统用于试验、保障和状态监测，不承担飞行控制、武器控制或实时安全闭环决策。输入数据可能缺失、乱序或损坏，系统必须给出可追溯的拒收或降级结果
3 功能需求
REQ-TSVERIFICATIONTRACE-01 每条强制需求至少关联一个验证用例
REQ-TSVERIFICATIONTRACE-02 用例通过且证据在有效期内才计入有效覆盖
REQ-TSVERIFICATIONTRACE-03 失效证据和失败用例要区分原因
REQ-TSVERIFICATIONTRACE-04 引用不存在需求的用例应单独列出
REQ-TSVERIFICATIONTRACE-05 重复用例编号应拒绝计数
REQ-TSVERIFICATIONTRACE-06 汇总应提供覆盖率及待处理项
4 非功能需求
- 同一输入应产生确定性结果
- 异常输入不得造成越界访问或静默接受
- 输出应包含足以追溯原始输入和判定原因的信息
- 小规模离线环境可独立运行，不依赖网络服务
5 验收准则
准备已覆盖、未覆盖、失败与过期四类需求；覆盖率和各类问题计数与人工核对一致