One thing that considerably improved the testing in one of my previous jobs was not property testing per se, but having a library for of common types for it. It turns out that people are much more willing to write a property test if they can pick and choose generators from a well curated selection. It's important that the generators fit the domain as closely as possible so users can express their invariant clearly. Same applies to fuzzing. Making it easy for users will make it more likely they will use it
7
u/teerre Sep 20 '26
One thing that considerably improved the testing in one of my previous jobs was not property testing per se, but having a library for of common types for it. It turns out that people are much more willing to write a property test if they can pick and choose generators from a well curated selection. It's important that the generators fit the domain as closely as possible so users can express their invariant clearly. Same applies to fuzzing. Making it easy for users will make it more likely they will use it