39 lines
1.4 KiB
Markdown
39 lines
1.4 KiB
Markdown
# 试验需求验证追溯检查器需求规格说明
|
||
|
||
版本：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 验收准则
|
||
|
||
准备已覆盖、未覆盖、失败与过期四类需求；覆盖率和各类问题计数与人工核对一致
|