1.4 KiB
1.4 KiB
试验设备维护放行审查需求规格说明
版本：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 验收准则
准备合格申请与同时包含校准过期、未关闭缺陷、同人复核的申请；合格申请批准，异常申请返回三条可核对原因