e2e-varify

用户输入

$ARGUMENTS

在继续之前, 你必须考虑用户输入(如果不为空).

概述

执行 E2E 测试设计的完整性检查和完善工作流，作为 e2e-design 的下游动作。

调用场景：

• 下游调用（推荐）：在 e2e-design 生成 e2e-impl-design.md 后自动执行
• 独立调用：直接执行测试设计完善（需要已有 e2e-impl-design.md）

输入要求：

• spec.md：功能规范文档
• design.md：设计文档
• e2e-test.md：黑盒测试用例文档
• e2e-impl-design.md：测试实现分析报告（e2e-design 输出）

输出：

• 更新后的 e2e-impl-design.md：完善的测试实现分析报告

执行流程

1. [ ] 设置环境

1. 判断操作系统：Windows 或 Linux
2. 运行前置检查脚本：
   • Windows: scripts/powershell/check-prerequisites.ps1 --json --require-e2e-impl-design
   • Linux: scripts/bash/check-prerequisites.sh --json --require-e2e-impl-design
3. 解析输出：
   • 提取 FEATURE_DIR（特性目录绝对路径）
   • 提取 SPEC_FILE（规范文件路径）
   • 提取 DESIGN_FILE（设计文件路径）
   • 提取 E2E_TEST_FILE（黑盒测试用例文件路径）
   • 提取 E2E_IMPL_DESIGN_FILE（测试实现分析报告路径）
   • 提取 AVAILABLE_DOCS（可用文档列表）

重要：所有路径必须是绝对路径。

2. [ ] 验证前置文件

验证以下必需文件是否存在：

1. 检查规范文件：

   • {FEATURE_DIR}/spec.md 是否存在
   • 如果不存在：错误 "规范文件不存在，请先执行 /specify"

2. 检查设计文件：

   • {FEATURE_DIR}/design.md 是否存在
   • 如果不存在：错误 "设计文件不存在，请先执行 /design"

3. 检查测试用例文件：

   • {FEATURE_DIR}/e2e-test.md 是否存在
   • 如果不存在：错误 "黑盒测试用例文件不存在，请先执行 /e2e-specify"

4. 检查测试实现分析报告：

   • {FEATURE_DIR}/e2e-impl-design.md 是否存在
   • 如果不存在：错误 "测试实现分析报告不存在，请先执行 /e2e-design"

5. 报告验证结果：

   • 所有文件存在：继续执行步骤3
   • 任何文件缺失：终止流程并报错

3. [ ] 加载上下文文档

加载用于测试设计完善的上下文文档：

必需文档：

1. spec.md：读取用户故事、功能需求、验收场景
2. design.md：读取架构设计、详细设计、接口定义、数据结构
3. e2e-test.md：读取所有黑盒测试用例（Given-When-Then 格式）
4. e2e-impl-design.md：读取测试实现分析报告

可选文档（按优先级加载）：

1. baseline 文档：

   • baseline/code-structure.md：现有代码结构
   • baseline/existing-apis.md：现有接口定义
   • baseline/call-graph.md：调用链路（用于确定外部依赖）
   • baseline/detailed-design.md：现有架构设计

2. 存量测试代码：

   • 搜索现有测试目录（如 tests/、test/）
   • 查找类似功能的测试实现
   • 提取测试模式、异常场景处理、测试数据构造方法

加载策略：

• 每个文档独立容错，失败不中断流程
• 记录成功加载的文档列表
• 标注缺失的文档

4. [ ] 执行变更点覆盖分析

1. 识别需求变更点：
   • 阅读 spec.md，提取本次需求变更内容
   • 与 design.md 对照，识别受影响的模块和接口
   • 与 baseline 对照，识别新增或修改的功能点