无障碍表单：审核和测试流程
提供无障碍表单的手动和自动检查、测试夹具、验收标准和修复指导。它修正采用边界和可观察的失败证据，同时保持环境特定限制的可配置性。
包状态： 参考上下文已准备好供人工审核。合同和测试场景已完成，但不保证采用的实现已通过它们。
决策
对于无障碍表单，首先采用原生语义，并制定文档化的键盘和焦点契约。将该模块视为由代表性的正面、边界、拒绝、失败和恢复案例构建的发布和回归契约。此包为参考契约：采用团队必须根据自身环境中的证据选择数值限制、提供者、司法管辖区和运营负责人。
范围
- 本测试模块描述的无障碍表单参与者、输入、输出、状态、策略或模式版本及外部可见结果。
- 主要和备用接口、后台工作、缓存、集成、支持路径及可执行相同边界的证据。
- 应用参考时所需的采用特定配置、推广、恢复和验证职责。
本模块之外
- 为每个采用者选择通用供应商、框架、司法管辖区、数值阈值、保留期或服务级别目标。
- 声称已针对下游实现运行打包场景，或此参考授予法律、安全或无障碍认证。
契约
- 在视觉界面传达名称、角色、值、状态和关系的任何地方，均暴露程序化名称、角色、值、状态和关系。
- 每个操作均可通过键盘操作且无陷阱，焦点顺序遵循阅读和交互顺序。
- 异步状态或错误的通告不会意外移动焦点，并将恢复指导与受影响控件关联。
- 在适用时，保持内容和操作在缩放、文本间距、重排、强制颜色、减少动画和平台文本缩放下的完整性。
- 记录每次决策执行的夹具版本、环境、配置、观察结果和证据位置。
- 报告中区分产品失败、依赖失败、测试基础设施失败和不确定证据。
- 给每个控件一个持久的程序化标签、相关说明、输入目的、分组和必需状态，不依赖占位符文本。
- 将字段和摘要错误与受影响控件关联，保留有效输入，仅在提交后显示可操作问题时移动焦点。
实施指导
- 构建覆盖风险类别的最小确定性夹具集，隐私安全审查后再添加生产派生案例。
- 在选择框架或供应商细节前，建模无障碍表单的输入、输出、参与者、状态、不变量、副作用和证据。
- 将适用的无障碍表单契约或策略版本与重要状态一起存储，以便迁移、重放和支持决策可追溯。
- 引入受控推广路径，比较预期和观察结果，保持经过测试的恢复路径直至采用证据完整。
失败处理和保障措施
- 若无法保持语义或焦点，交互不在仅视觉行为后发布；缺陷仍阻止发布。
- 拒绝或隔离无效或矛盾的无障碍表单状态；实现绝不猜测扩大权限或重复效果的值。
- 重试有界且使用持久身份；耗尽后，工作达到可检查的终态并有责任人。
验证和运营
- 从干净状态运行测试套件两次，确认排序、重试和并行执行不改变判决。
- 按契约版本监控无障碍表单的成功、拒绝、验证失败、依赖失败、重试耗尽和恢复情况，不含敏感负载维度。
- 策略、模式、依赖、迁移或边界变更后，重新运行配对的正负夹具并保留结果证据。
采用假设
- 示例中的名称和值为具体夹具，不是通用默认值；采用者通过文档化证据和所有权替换它们。
- 采用系统能提供认证身份、持久操作或记录版本、有界遥测和受控变更路径。
本包中看似可执行的示例为夹具和验收契约。运行集合验证器检查结构和元数据，然后在目标仓库中翻译并执行场景，最后记录实现证据。