nw-pbt-go

Go property-based testing automates input generation and shrinking by using rapid and gopter to assert invariants over randomized inputs. This approach automatically finds edge cases by comparing expected properties against generated test data.

Rapid supports stateful testing and automatic shrinking in Go through an idiomatic API using a simple T-like interface. It integrates directly with standard go test to execute property-based tests against randomized inputs.

Gopter generates per-field struct data for commands-based stateful testing by providing specialized generators for struct fields. This allows you to validate algorithm correctness by asserting invariants over complex, randomized state transitions.

Property-based testing is the best way to find edge cases in complex Go algorithms because it automatically generates randomized inputs and shrinks failures. Using rapid and gopter, you can exhaustively test logic and catch bugs early.

You can integrate property-based testing with standard go test by running the standard testing command. Both rapid and gopter are designed to work within the native Go testing framework to execute tests against randomized inputs.

You should use gopter commands-based stateful testing when you need per-field struct generation and command-based state transitions. Rapid is better suited for idiomatic automatic shrinking and simpler stateful testing using a T-like interface.