Property-Based Testing

Purpose

Use property-based testing to define invariants and properties, generate random inputs, shrink failing cases, and discover edge cases that example-based testing misses. This skill covers generator design, property formulation, shrinking optimization, stateful testing, and CI integration.

Agent Protocol

Trigger

User mentions property-based testing, fuzzing, generative testing, QuickCheck, fast-check, Hypothesis, invariant testing, random testing, or asks about finding edge cases automatically.

Input Context

• Functions or modules under test
• Existing example-based test suite
• Input type definitions and constraints
• Business rule invariants
• Performance requirements for test execution

Output Artifact

Property-based test suite with generators, property definitions, and CI integration configuration.