model-based-testing - Design and execute model-based tests
Models stateful behavior with state machines, derives test cases, executes coverage checks, and reports node, edge, and path coverage.
Tags
Updated: 2026-10-12Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Model state machines
- Define state transitions
- Specify guards and actions
- Generate coverage test cases
- Execute transition tests
- Measure model coverage
- Report coverage gaps
Inputs
- Acceptance criteria
- System requirements
- Stateful behavior details
- Coverage targets
- Modeling tool access
Outputs
- State diagram
- Transition table
- Model scope document
- Test case list
- Execution traces
- Coverage metrics
- Coverage gap report
Requirements
- agentic-qa-core dependency
- Compatible agent environment
- UML tool access for formal UML models