Business Readable DSL
a bliki entry for Business Readable DSL| martinfowler.com
The Encode/Decode invariant One of the simplest types of invariant to find once you move past just fuzzing your code is asserting that two different operations should produce the same result, and one of the simplest instances of that is looking for encode/decode pairs. That is, you have some function that takes a value and encodes it as another value, and another that is supposed to reverse the process. This is ripe for testing with Hypothesis because it has a natural completely defined speci...| hypothesis.works
This is an interesting demonstration of the capabilities of afl ; I was actually pretty surprised that it worked! $ mkdir in_dir $ echo ' h...| lcamtuf.blogspot.com
Outwitting malicious compliance with property-based testing| fsharpforfunandprofit.com
Or, I want to use PBT, but I can never think of any properties to use| fsharpforfunandprofit.com
Write most of your tests at a low level (unit tests) with a few broad-stack tests, eg via UI. UI tests tend to be fragile and slow.| martinfowler.com
