bee:dev-property-testing

Property testing verifies domain invariants by checking fundamental rules against randomly generated inputs. This Skill automates generating and executing these tests using Pest datasets or PHPUnit data providers to catch subtle bugs traditional unit tests miss.

You need property tests when verifying that core domain rules hold true for any possible input value. Unlike traditional unit tests that check specific scenarios, property testing validates fundamental invariants against randomly generated data to prevent edge-case failures.

Yes, property testing works with both Pest and PHPUnit. The Skill orchestrates automated test generation and execution by leveraging Pest datasets or PHPUnit data providers to feed randomly generated inputs into your invariant verification logic.

To test that a balance never becomes negative, define the invariant and use property testing to generate random sequences of deposits and withdrawals. The Skill automates verifying this domain rule holds true regardless of the transaction magnitude or order.

Property testing for domain invariants requires explicitly identifying the fundamental rules of your domain logic beforehand. It complements but does not replace traditional unit tests, focusing on validating general properties rather than specific expected outcomes for defined scenarios.