SkillVaultskills Browse all 500 skills

Testing · Version 1.4.0 · Reviewed 2026-08-02

State Machine Test Generator

Design confidence for lifecycle modeling and transition coverage with evidence, explicit trade-offs, and a verification plan.

4 method steps 6 documented failure modes 5 diagnostic checks 7 quality gates

Turns lifecycle rules into explicit state models, transition tables, invariant checks, illegal-transition tests, and sequence-based coverage.

₹99 one-time

Get this skill archive

What this skill helps you do

  • Lifecycle modeling
  • Transition coverage
  • Invariant testing

How State Machine Test Generator works

You provide

Suite structure, failure history, and the risk to cover

It inspects

Nondeterminism sources affecting lifecycle modeling

It decides

A transition coverage plan at the cheapest useful level

You verify

The test fails when the behavior is broken, not only passes

What it checks first

State Machine Test Generator turns lifecycle rules into explicit state models, transition tables, invariant checks, illegal-transition tests, and sequence-based coverage. Use it when the work involves Lifecycle modeling, Transition coverage, Invariant testing.

  1. Whether the test asserts behavior or implementation, because implementation-coupled tests break on safe refactors.
  2. Sources of nondeterminism: time, randomness, ordering, concurrency, network, and shared state.
  3. Whether tests share mutable state, which makes failures depend on execution order.
  4. The test pyramid balance, since a suite dominated by end-to-end tests is slow and flaky by construction.
  5. Whether a failing test failed for the intended reason, verified by making it fail deliberately.

Failure modes it recognizes

  • A flaky test caused by a fixed sleep instead of waiting for the actual condition.
  • Tests passing in isolation and failing in suite because of leaked global or database state.
  • Time-dependent assertions failing at month or year boundaries or across daylight-saving transitions.
  • Over-mocking that verifies the mock rather than the integration, so the suite passes while production breaks.
  • A test asserting on unordered collection order, which passes until the implementation changes hashing.
  • Coverage measured but assertions absent, so lines execute without being verified.

Answers it will reject

  • Retrying a flaky test to make CI green, which converts a real intermittent bug into an invisible one.
  • Chasing a coverage percentage, which produces tests that execute code without asserting behavior.
  • Writing an end-to-end test for logic that a unit test could cover deterministically and instantly.
  • Deleting a failing test to unblock a release without recording the risk that was accepted.

Decision rules it applies

  • Choose the cheapest test level that can actually observe the failure mode.
  • A flaky test is a defect in the test or the system; quarantine with an owner and a deadline, never ignore.
  • Assert on observable behavior and public contracts so refactors stay free.
  • Every bug fix gets a test that fails before the fix and passes after it.

Evidence it asks for

  • Run the suite in randomized order to expose inter-test dependencies.
  • Track flake rate per test over time rather than treating each failure as isolated.
  • Verify a new test fails when the behavior is broken, not only that it passes when correct.

The method inside

  1. Translate lifecycle modeling into observable risks and falsifiable acceptance criteria.
  2. Choose the cheapest test level that can expose failures in transition coverage.
  3. Add representative positive, negative, boundary, and regression cases for invariant testing.
  4. Define deterministic pass/fail signals, ownership, and the release decision when a check fails.

Deliverables

  • Lifecycle modeling assessment
  • Transition coverage decision and action plan
  • Invariant testing verification checklist

Evidence requirements

  • System risks and architecture boundaries
  • Existing tests, failures, and coverage evidence
  • Release cadence and supported environments

Quality gates

  • Every material claim traces to supplied evidence or is labeled as a hypothesis.
  • The response follows the declared deliverable contract.
  • No execution, access, measurement, or verification is invented.
  • Secrets and personal data are redacted rather than repeated.
  • The user receives a concrete independent verification step.
  • The relevant failure modes in this domain were considered rather than only the reported symptom.
  • No listed anti-pattern was recommended as a solution.

Example task

Input

Generate a test model for an order lifecycle with pending, paid, fulfilled, cancelled, and refunded states.

Expected output

Define legal transitions and invariants first: fulfilled requires paid, refunded requires a captured payment, and cancelled cannot later fulfill. Generate positive paths plus illegal and repeated-event sequences...

Boundaries and compatibility

Ideal for

  • Lifecycle modeling: produce a decision or artifact grounded in supplied evidence.
  • Transition coverage: produce a decision or artifact grounded in supplied evidence.
  • Invariant testing: produce a decision or artifact grounded in supplied evidence.

Out of scope

  • Chasing line coverage without risk coverage
  • Replacing integration evidence with mocks

Agent compatibility

  • GitHub Copilot custom agents
  • Claude Agent Skills / SKILL.md
  • Any instruction-following chat model

Tool policy: Advisory by default. No tools are assumed. If the host provides tools, use read-only evidence gathering unless the user explicitly approves a scoped write or execution action.