SuperAPI AI 工具集

use-case-qa

测试与质量

查看项目

更新于 10-16 04:02

技能介绍

用途

use-case-qa 在 Factory 流程中承担 Product Validator(产品验证者)角色,用于通过真实产品界面独立验证已接受的用户旅程(journey),针对一个通过 Verifier 的不可变候选版本。其安装名称保持为 use-case-qa。

该角色将候选代码和已接受契约视为只读,不修复生产代码,仅变更由记录的资源租约和授权旅程所拥有的验证状态。

主要能力

  • 建立独立验证:使用独立于 Implementer、Cleaner 和 Verifier 的全新上下文,携带持久化的已接受输入与证据,而非 Verifier 的推理。
  • 要求精确身份:目标映射、SPEC、SLICES、已接受切片或验收、项目配置、工作区、资源租约身份、基础修订、不可变候选身份、同候选 Verifier 通过以及已接受旅程。
  • 旅程定义要求:每个旅程需包含参与者、起始状态、动作、必需可观察结果、禁止结果、允许的驱动与环境、身份与测试数据、重置或隔离方法以及证据捕获。
  • 拒绝被取代的身份。若旅程缺少判断标准、驱动无法保留实质语义或缺少同候选 Verifier 通过,则返回 Inconclusive。
  • 仅使用被分配的已接受门禁与旅程,不添加探索性活动。缺少标准属于输入缺口,而非发明更强验收标准的许可。
  • 选择真实方法:检查可用的浏览器、桌面、API、CLI、模拟器、预发布环境、夹具、可观测性和重置设施,使用能保留旅程实质语义的最窄真实产品接口。
  • 仅使用本验证拥有或独占记录租约的命名空间资源。绝不附加、重置或清理其他切片或用户的可变状态。若无法忠实隔离,返回 Inconclusive,而非按约定或时序共享。
  • 记录系统与候选、驱动与环境、身份与数据、隔离或重置、观察、证据以及保真度限制。
  • 当存在同候选的项目本地验证适配器时,在旅程前运行其 doctor 等效项,并要求预期与观察到的候选、适配器、Feature Map、目标、环境、数据及运行身份一致。选择相关 Feature Map 配方,但判断标准来自已接受旅程。
  • 通过其命名的真实界面执行每个已接受用户入口点,检查直接产物与完整性元数据,并通过独立的忠实只读接缝确认持久效果。
  • 将不支持、过期、未知、超时或模糊的适配器结果视为 Inconclusive,除非直接产品证据独立证明 Fail。绝不将适配器控制成功转换为 Pass。
  • 测试与静态检查可辅助诊断,但除非它们是旅程的已接受真实产品接口,否则不能证明旅程。将已接受旅程与回归和探索性探测分开。
  • 若缺少所需适配器能力或不安全,返回 Inconclusive 并给出确切能力缺口。在评判候选时不创建或保留驱动代码。请求的生命周期所有者将缺口分类为契约重新同步或阻塞能力。

使用方式

  1. 建立验证:确认所有必需身份与同候选 Verifier 通过,拒绝被取代的身份。
  2. 选择真实方法:检查可用设施,选择最窄真实产品接口,确保忠实隔离。
  3. 授权效果:在具有外部、计费、破坏性、隐私敏感或生产影响的操作前,要求范围授权或经批准的非生产/模拟替代。若无,则不行动,返回 Inconclusive 并给出所需授权或替代。切片验收和本地提交不授予效果权限。
  4. 运行与路由旅程:针对精确的 Verifier 通过候选执行每个已接受旅程,或应用证据复用规则。捕获观察,保留首次失败和最早分歧。仅按方法要求重置或命名空间化拥有的状态,然后释放租约而不删除证据或非拥有资源。将每个旅程标记为 Pass、Fail 或 Inconclusive 并附直接证据。
  5. 返回结果:
    • Pass:最终候选上每个已接受旅程均通过。
    • Fail:提供旅程、最早分歧、复现、候选身份和证据以供自动修复。
    • Inconclusive:指明所有者和确切的解除阻塞条件或实质歧义。
  6. 将结果返回给请求的生命周期所有者。在 pursue-goal 下,Slice Owner 将 Pass 视为提交就绪,将 Fail 路由至 Cleaner,并在已接受分配内解决 Inconclusive 或返回 Resynchronize 或 Blocked。Goal Validation Owner 向 Coordinator 报告 Pass、命名切片失败、Resynchronize 或 Blocked,不派遣 Cleaner 或 Slice Owner。

适用场景

  • 在 Factory 流程中,需要对一个通过 Verifier 的不可变候选版本进行独立产品验证时。
  • 需要验证已接受的用户旅程是否在真实产品界面上按预期工作,而非仅依赖代码或技术套件推断行为时。
  • 需要将验证结果路由给生命周期所有者以决定提交、修复或重新同步时。

限制

  • 候选代码和已接受契约视为只读,不修复生产代码。
  • 仅变更由记录的资源租约和授权旅程所拥有的验证状态。
  • 仅使用被分配的已接受门禁与旅程,不添加探索性活动。
  • 缺少判断标准、驱动无法保留实质语义或缺少同候选 Verifier 通过时,返回 Inconclusive。
  • 无法忠实隔离时返回 Inconclusive,而非共享状态。
  • 在具有外部、计费、破坏性、隐私敏感或生产影响的操作前,若无范围授权或经批准的非生产/模拟替代,则不行动并返回 Inconclusive。
  • 测试与静态检查不能证明旅程,除非它们是已接受的真实产品接口。
  • 适配器控制成功不能转换为 Pass。
  • 在评判候选时不创建或保留驱动代码。
  • 完成标准:生命周期所有者能够从直接产品证据路由精确候选,而无需从代码或技术套件推断行为。

暂未提供

关于该技能的收费、价格、平台支持、具体安装命令、效果数据等信息,资料中暂未提供。