1121 Delano Street, Houston, TX
Property based testing workshop - Nelson Morris
Property-based testing encourages a high level approach to testing in the form of invariants functions should satisfy universally. The actual test data is generated for the programmer by the testing library. In this way code can be hammered with thousands of tests that would be infeasible to write by hand, often uncovering subtle corner cases that wouldn't be found otherwise.
I'm planning to run a more workshop style meeting: 20 minutes of introducing concepts, and 20 mins for exercises, repeat. As part of this we'll use test.check and cover:
1. Creating "Generators" for the test data
2. Writing properties based on comparing to a known good specification.
3. Writing "algebraic" properties (such as round-trip properties)