diff --git a/requirements.md b/requirements.md new file mode 100644 index 0000000..005207a --- /dev/null +++ b/requirements.md @@ -0,0 +1,38 @@ +# 试验需求验证追溯检查器需求规格说明 + +版本: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 验收准则 + +准备已覆盖、未覆盖、失败与过期四类需求;覆盖率和各类问题计数与人工核对一致