For AI agents: the complete documentation index is available at https://a3s-lab.github.io/Test/llms.txt, the full documentation bundle is available at https://a3s-lab.github.io/Test/llms-full.txt, and this page is available as Markdown at https://a3s-lab.github.io/Test/guide/index.md.

从页面问题到可重复回归

从第一性原理看,一次可信的界面修改必须回答三个问题。

问题A3S Test 产物
页面现在是什么绑定当前浏览器修订的观察、语义、状态与几何
哪段源码负责这个结果稳定定位器、组件归属与排序后的源码跨度
修改是否真的有效更新后页面的断言与证据,以及可重复的 ACL 回归

A3S Test 把这三个结果连成一条可核验的短链路。浏览器提供当前事实,编码 Agent 只选择一个类型化动作或明确差异,Core 完成准入,验证重新读取变化后的页面,稳定路径最后才进入 ACL。

最短可信路径

当前页面事实
  -> 一个类型化动作或明确差异
  -> 源码归属与人工修复授权(需要时)
  -> 更新后页面的验证证据
  -> 确定性 ACL 回归

这个顺序不能颠倒。截图不能证明组件归属,源码提示不能证明页面已经正确渲染,模型建议也不能授予源码修改权限。每一层只提供一种事实,并保留自己的边界。

只选一个入口

当前任务使用方式最终得到什么
在本地页面指出一个修改Web Test Kit 与本地评审流程绑定页面修订、页面上下文与源码提示的 finding
探索陌生流程或复现问题持久 Agent 会话包含观察、动作和证据的追加式记录
重复已明确的动作与断言ACL 套件可在本地或 CI 重复运行的确定性回归

普通浏览器自动化不强制依赖 Test Kit。需要组件归属、源码候选、渲染几何、视觉证据或人工标记时再接入。

initdoctordev 本地工程流程已包含在 v1.0.2 发布中。本页同时介绍本地工程流程和已发布的持久会话命令。

安装 CLI 与 Agent Skill

macOS 或 Linux

curl -fsSL https://github.com/A3S-Lab/Test/releases/latest/download/install.sh |
  sh -s -- --version v1.0.2

Windows PowerShell

& ([scriptblock]::Create((irm 'https://github.com/A3S-Lab/Test/releases/latest/download/install.ps1'))) -Version v1.0.2

安装器会下载当前平台的 CLI、校验 SHA-256,并为检测到的编码 Agent 安装同版本 Skill。只安装 Test Kit、只安装 CLI 或指定 Agent 目录时,请查看安装指南

1. 声明页面能够证明的结果

先启动本地产品,再写清测试目标和可观察的成功条件。

a3s-test agent start http://127.0.0.1:3000/checkout \
  --session checkout \
  --goal "Complete checkout with the fixture account" \
  --success "The confirmation heading is visible" \
  --json

会话会保留浏览器、精确来源策略和追加式事件记录,直到显式完成、取消或超时。

2. 读取真正渲染出来的页面

a3s-test agent observe --session checkout --interactive --json

响应包含新的 observation_id,以及只属于本次观察的引用。

observation_id: 1
@e1 [button] Continue
引用来自哪里权限
@eN浏览器可访问语义只能在生成它的观察中操作
@cNTest Kit Page Context当前节点仍然唯一且有效时才可操作
@uNUI 理解补充证据永远只读,只关联样式、布局、状态与动效事实

页面变化会使 @eN@uN、几何和截图失效。只有当前最新观察中的精确 complete delta 明确证明私有节点未变时,@cN 背后的稳定定位器才会保留;变化、reset、旧版或不确定绑定都会失效。这样可以阻止 Agent 把旧页面上的决定悄悄套到新页面上。

3. 只执行一个通过准入的动作

把动作绑定到刚刚读取的观察。

a3s-test agent click @e1 \
  --session checkout \
  --observation 1 \
  --json

驱动执行前,A3S Test 会校验动作 Schema、会话能力、目标类型、来源策略与观察修订。继续操作时应重新观察,不要复用旧引用。

4. 验证变化后的页面并保存证据

成功条件出现后,只保存足以让其他人或 Agent 复查结果的最小证据。

a3s-test agent screenshot screenshots/confirmation.png \
  --session checkout \
  --json

a3s-test agent finish \
  --session checkout \
  --status passed \
  --summary "Checkout completed and confirmation was observed" \
  --json
.a3s-test/agent-sessions/checkout/
├── session.json
├── events.jsonl
├── report.json
└── artifacts/
    └── screenshots/confirmation.png

events.jsonl 解释每一步准入动作,report.json 保存终态,artifacts/ 只包含本次会话拥有的文件。

5. 只固化已经证明的路径

探索用于发现路径,ACL 只保留最小稳定形式。把明确动作、有界等待、断言与证据写入套件,先做静态准入,再真正运行。

a3s-test check tests/e2e/checkout.acl --json
a3s-test run tests/e2e/checkout.acl --json

完整 ACL 示例见探索与回归工作流。成功条件涉及控件状态、渲染文本、集合、布局、视口覆盖、指针可达或焦点归属时,请继续查看断言与稳定性

Test Kit 在哪里接入

Test Kit 在浏览器完成渲染后生成有界上下文。它补充组件归属、稳定定位器候选、多坐标空间几何、排序后的源码候选和人工评审界面,不会替代浏览器可访问树。