Verification · Testing · Property-based tests
Stateful testing
Generate sequences of operations and check invariants after each.
How to build it
- Define the operations the system exposes and the preconditions for each.
- Generate random sequences of those operations and run them against the real object.
- Check the invariants after every step, not only at the end of a sequence.
Signals in a repository
- Classes that subclass RuleBasedStateMachine in Hypothesis test files.
- A proptest-state-machine dependency in Cargo.toml with state machine tests.
In practice
23 repositories run a tool for this check in the scanned set.
hypothesis· 10 reposfast-check· 3 reposproptest· 11 repos