Validity and Validity-based testing

Many pieces of data have invariants that are not encoded in their type. Validity based testing involves making those invariants explicit and making (property) tests involving those types easy and general by providing very general testing combinators. More info on GitHub.

Validity-based testing makes testing an order of magnitude less frictionful. As tests become cheaper to write, writing correct software becomes easier.

Examples

  • Validity and Validity-based testing @ Google Z├╝rich - 2017-12-08 Video Source

  • Validity and Validity-based testing @ HaskellerZ - 2017-11-30 Presentation Source

  • Validity and Validity-based testing @ DFinity - 2018-09-04 Presentation

  • Validity and Validity-based testing @ Monadic Warsaw - 2018-09-25 Presentation