Fri Mar 28 22:08:18 EDT 2014
John Hughes on debugging imperative code with QuickCheck
Some conclusions ( 18:00)
- The same property can find many bugs.
- Minimal failed tests make debugging easier.
The latter is nice and convenient, but the former is actually a really
interesting argument, especially for testing low-level code:
behavioral models have _less_ properties than full-blown quirky
implementations, so might test different code paths or sub-solutions
for differing inputs.
EDIT: The stateful testing is proprietary. It would be a nice
challenge to find out how to do this.