Testing Property-Based

Overview

Use this skill to validate invariants beyond hand-picked test cases by combining generators, shrinking, and reproducible seeds.

Scope Boundaries

• Use when input space is large and example-based tests are insufficient.
• Typical requests:
  • Verify encode/decode roundtrip invariants for arbitrary inputs.
  • Stress aggregate invariants with generated data.
  • Catch edge cases that fixed examples miss.
• Do not use when:
  • A small deterministic unit test set is sufficient (testing-unit).
  • The primary scope is UI journey validation (testing-e2e).

Inputs

• Invariants and domain constraints
• Generator strategy and seed reproducibility requirements
• Runtime budget and flaky-risk tolerance