Skill Codex chuyên nghiệp để đọc PRD, tài liệu kiến trúc và source code; dựng mô hình hệ thống; sinh test inventory; chạy kiểm thử web app qua browser, API, runner và telemetry; đối chiếu runtime với thiết kế; rồi tạo báo cáo assurance cùng change request dự thảo.
Skill tập trung vào phần khó nhất của kiểm thử sản phẩm: quy tắc nghiệp vụ, trạng thái ẩn, quyền admin, tenant isolation, async jobs, retries, dữ liệu, backend side effects, recovery và bằng chứng đủ mạnh để hỗ trợ quyết định release.
Trạng thái:
v1.0.0-beta.1— public beta. Dùng tốt cho orchestration, test planning, evidence modeling và review chuyên sâu. Chưa nên dùng như release authority tự động duy nhất. Xem Giới hạn hiện tại.
Một web app có thể hiển thị đúng nhưng vẫn sai ở tầng nghiệp vụ hoặc backend:
- Toast báo thành công nhưng dữ liệu không được lưu.
- API trả
200hoặc202nhưng job downstream thất bại. - UI ẩn nút nhưng backend vẫn cho phép hành động trái quyền.
- Retry tạo giao dịch, entitlement hoặc webhook trùng lặp.
- Source hiện tại khác artifact đang deploy.
- Feature flags, config hoặc migrations làm runtime khác tài liệu.
- Rerun pass che race condition hoặc session contamination.
- CI exit
0nhưng shard không chạy test nào.
Skill biến các rủi ro này thành run contract, evidence graph, state machine, test inventory, safety gate, correlation packet, finding và release report.
- Evidence-first: mọi claim quan trọng phải liên kết bằng chứng có provenance.
- Risk-bounded: sinh inventory rộng, nhưng chỉ chạy subset theo risk, change impact và budget.
- Fail-closed: thiếu target, identity, oracle, evidence hoặc safety thì không được
PASS. - Four-plane model: tách normative intent, executable definition, deployed reality và observed execution.
- Human release authority: Skill đề xuất verdict; con người giữ quyền release và waiver.
- Production read-only: mutation, payment, email, SMS và external effects cần allowlist cùng approval rõ.
- Không suy diễn root cause: timestamp gần nhau, toast, HTTP status hoặc log cuối không đủ chứng minh causality.
- PRD, acceptance criteria, README, specs.
- ADR, architecture diagrams, SLO và runbooks.
- Routes, controllers, services, domain rules.
- API/event schemas, migrations và constraints.
- RBAC, permissions, feature flags và tenancy.
- Queues, jobs, webhooks, retries, DLQ và reconciliation.
- Existing tests, fixtures, selectors, telemetry và CI.
- CodeGraph-first khi repository có
.codegraph/.
- Workflow state machines.
- Business rules và forbidden transitions.
- Data invariants và transaction boundaries.
- Role/permission/tenant matrices.
- Async delivery, ordering, dedupe và consistency deadlines.
- Admin recovery, audit và operational controls.
- Temporal evidence graph bốn plane.
Mỗi case có:
- Requirement, risk và source IDs.
- Actor, journey, precondition và action path.
- Oracle, terminal business state và forbidden effect.
- Hazard/action class.
- Data/cleanup ownership.
- Required evidence types.
- Automation và execution status.
Skill không tạo full Cartesian product. Planner dùng priority, risk score, dedup, constraint, budget và pairwise selection.
- Browser plugin cho interactive reconnaissance và session có sẵn.
- Browser sentinel probe mặc định không mutation.
- Project-native runner cho regression/release evidence.
- Playwright fallback khi phù hợp.
- API/backend adapters theo access mode.
- Correlation browser → request → trace → message/job → webhook → datastore.
- UI states, accessibility, navigation và error recovery.
- Network/API schema, semantics, authorization và idempotency.
- Logs, metrics, traces, queue/job state và audit records.
- Architecture conformance và deployment/configuration drift.
- Admin, async failure, reconciliation và recovery.
- Decision summary một trang.
- Machine-readable evidence bundle.
- Finding đa nhãn.
- Severity và confidence tách riêng.
- Retest và waiver lifecycle.
- Developer change request ở trạng thái
DRAFT.
flowchart LR
A["Normative intent<br/>PRD · ADR · contracts"] --> E["Evidence graph"]
B["Executable definition<br/>source · schema · tests"] --> E
C["Deployed reality<br/>artifact · config · flags"] --> E
D["Observed execution<br/>browser · API · trace · state"] --> E
E --> F["Risk-based inventory"]
F --> G["Bounded execution plan"]
G --> H["Oracle + correlation"]
H --> I["Findings + conformance"]
I --> J["Release report + DRAFT change request"]
Chi tiết: Kiến trúc và mô hình dữ liệu.
| Mode | Nguồn được phép dùng | Boundary |
|---|---|---|
black-box |
UI, public API, public docs | Không dùng source, DB, queue hoặc internal endpoint làm oracle |
gray-box |
Black-box cộng repo, config, fixtures và logs được cấp quyền | Business outcome vẫn cần public/user-visible oracle |
white-box |
Gray-box cộng DB, queue, internal API, flags và server telemetry | Tách internal oracle khỏi user-visible oracle |
Nếu đọc repository, run tối thiểu là gray-box.
| Profile | Mục đích |
|---|---|
smoke |
P0 entry points, auth và core surfaces |
workflow |
Journey nghiệp vụ, branches, async terminal state và cleanup |
release |
P0, risk-ranked P1, auth boundaries và pairwise matrix |
incident |
Reproduction/falsification, bảo toàn evidence |
architecture |
Contract, trust boundary, resilience và observability |
regression |
Original repro, fixed path, neighboring boundary và negative case |
PASSFAIL_PRODUCTFAIL_TEST_HARNESSFLAKYBLOCKEDINCONCLUSIVEABORTED_SAFETY
HTTP 2xx, toast, queue acknowledgement, screenshot hoặc console sạch không đủ làm business oracle đơn độc. Pass-after-retry phải là FLAKY. 0 matched tests hoặc all-skipped phải là FAIL_TEST_HARNESS.
git clone https://github.com/buithanhninh/web-app-test-engineering.git$source = Resolve-Path .\web-app-test-engineering
$destination = Join-Path $env:USERPROFILE '.codex\skills\web-app-test-engineering'
Copy-Item -Path $source -Destination $destination -Recursemkdir -p ~/.codex/skills
cp -R web-app-test-engineering ~/.codex/skills/web-app-test-engineeringSau khi cài, gọi:
Use $web-app-test-engineering để đọc PRD, source và kiến trúc của repository này, lập full test inventory theo risk, chạy các test khả thi và tạo báo cáo assurance.
python scripts/init_qa_workspace.py ./qa-run --profile releasepython scripts/plan_qa_execution.py \
./qa-run/03-execution/executable-test-inventory.csv \
./qa-run/03-execution/execution-plan.csv \
--profile release \
--jsonpython scripts/validate_qa_workspace.py ./qa-run --jsonpython scripts/score_qa.py ./qa-run --json --enforcepython scripts/render_qa_report.py ./qa-run \
--output ./qa-run/05-reports/release-assurance-report.md \
--json-output ./qa-run/05-reports/release-assurance-report.jsonCác script chỉ dùng Python standard library. YAML templates dùng JSON syntax hợp lệ theo YAML 1.2.
Use $web-app-test-engineering ở profile release.
Đọc PRD, ADR, source, migrations, permissions và existing tests.
Dựng business state machines, full test inventory và execution subset theo risk.
Chạy Browser sentinel probe, native test runner và API checks phù hợp.
Tạo release assurance report, findings và DRAFT change requests.
Use $web-app-test-engineering để kiểm workflow checkout từ UI tới payment job, ledger, entitlement, webhook và recovery.
Không coi HTTP 202 hoặc toast success là business completion.
Use $web-app-test-engineering để verify fix cho bug cross-tenant authorization.
Chạy original repro, fixed path, session transitions, neighboring negative cases và cleanup exact-ID.
Use $web-app-test-engineering ở profile architecture.
So sánh PRD/ADR, source, deployed artifact, config/flags và runtime telemetry.
Ghi CONFORMANT, NON_CONFORMANT, PARTIALLY_OBSERVED, CONFLICTING_EVIDENCE hoặc UNKNOWN.
00-run/ Run contract và environment identity
01-evidence/ Sources, conflicts, evidence và artifact manifests
02-model/ System model, risks, rules, invariants, states, permissions, async
03-execution/ Test data, inventory, execution plan, run/correlation/cleanup receipts
04-assurance/ Findings, conformance, retest, waivers và remediation backlog
05-reports/ Release report và developer change request
Repo cung cấp 28 templates, 15 references và 5 deterministic tools cộng unit tests.
SKILL.md
agents/openai.yaml
assets/
profile-templates.json
template-manifest.json
templates/
references/
scripts/
README.md
CHANGELOG.md
CONTRIBUTING.md
SECURITY.md
LICENSE
VERSION
Bản v1.0.0-beta.1 đã được xác minh:
20/20unit/regression tests.- Official Skill validator: pass.
- Python compile: pass.
- CLI smoke:
6/6profiles. - Forward pressure scenarios:
3/3. - ZIP/source parity được kiểm tra khi tạo release asset.
Lệnh kiểm tra:
python -B scripts/test_tools.py
python -B /path/to/skill-creator/scripts/quick_validate.py .Chi tiết: Xác minh chất lượng.
Bản beta chưa phải autonomous universal tester hoặc release authority hoàn chỉnh. Các giới hạn lớn:
- Pass gates vẫn còn phần dựa trên receipt do agent/harness cung cấp.
- Planner chưa tự đọc production safety manifest.
- Browser/native runner adapters chưa được đóng gói thành execution engine thống nhất.
- Forward tests hiện tập trung vào reasoning scenarios, chưa có benchmark web app đầy đủ.
- Formal schema/version migration và cross-platform CI cần hoàn thiện thêm.
Xem danh sách đầy đủ và mức ưu tiên: Giới hạn hiện tại.
- Computed gate-receipt engine thay self-attested pass flag.
- Safety-aware planner đọc environment/action policy.
- Strict artifact existence/hash/evidence-type validation.
- Waiver expiry và release-scope enforcement.
- Executable fixture web app cho browser/API/backend benchmark.
- Native Playwright/Cypress/JUnit adapters.
- Property tests, fuzz tests và CI Windows/Linux/macOS.
Chi tiết: Roadmap.
Chỉ kiểm thử hệ thống thuộc sở hữu hoặc được cấp quyền rõ ràng. Không dùng Skill để:
- Bypass authentication hoặc authorization.
- Lấy secret, token hoặc dữ liệu trái phép.
- Mutation production ngoài policy.
- Gửi payment, email, SMS hoặc webhook thật ngoài sandbox/allowlist.
- Auto-submit ticket, auto-waive risk hoặc tự quyết định release khi policy chưa cho phép.
Thiếu quyền hoặc evidence: ghi BLOCKED, INCONCLUSIVE hoặc ABORTED_SAFETY; không phỏng đoán.
Đọc CONTRIBUTING.md. Pull request nên có:
- Vấn đề hoặc failure mode cụ thể.
- Test fail trước thay đổi.
- Implementation nhỏ, deterministic.
- Unit/pressure test chứng minh loophole đã được đóng.
- Không hạ safety, evidence hoặc release gates.
Không đăng token, HAR chưa redact, session storage hoặc dữ liệu production trong issue công khai. Đọc SECURITY.md.
Phát hành theo MIT License.
Copyright © 2026 Bùi Thành Ninh.