39 lines
1.4 KiB
Markdown
39 lines
1.4 KiB
Markdown
# 试验设备维护放行审查需求规格说明
|
||
|
||
版本：1.0
|
||
|
||
## 1 背景与目标
|
||
|
||
对试验台设备维护后的放行申请进行签核完整性、校准有效期和未关闭缺陷审查，输出可追溯决定
|
||
|
||
本文描述预期行为和验收口径，作为实现与验证的输入
|
||
|
||
## 2 业务边界
|
||
|
||
该系统用于试验、保障和状态监测，不承担飞行控制、武器控制或实时安全闭环决策。输入数据可能缺失、乱序或损坏，系统必须给出可追溯的拒收或降级结果
|
||
|
||
## 3 功能需求
|
||
|
||
### REQ-JAVAMAINTENANCERELEASE-01 申请缺少设备编号或申请人时应拒绝
|
||
|
||
### REQ-JAVAMAINTENANCERELEASE-02 校准到期或日期晚于审查日时应拒绝
|
||
|
||
### REQ-JAVAMAINTENANCERELEASE-03 关键缺陷未关闭时应拒绝
|
||
|
||
### REQ-JAVAMAINTENANCERELEASE-04 维护人和复核人不得为同一人
|
||
|
||
### REQ-JAVAMAINTENANCERELEASE-05 符合全部约束时才能批准
|
||
|
||
### REQ-JAVAMAINTENANCERELEASE-06 多个不符合项应一并返回，且顺序稳定
|
||
|
||
## 4 非功能需求
|
||
|
||
- 同一输入应产生确定性结果
|
||
- 异常输入不得造成越界访问或静默接受
|
||
- 输出应包含足以追溯原始输入和判定原因的信息
|
||
- 小规模离线环境可独立运行，不依赖网络服务
|
||
|
||
## 5 验收准则
|
||
|
||
准备合格申请与同时包含校准过期、未关闭缺陷、同人复核的申请；合格申请批准，异常申请返回三条可核对原因
|