January 4, 2020

Powerful testing with test.check


Reid Draper, Sr Engineering Manager at Github


I find only difficult to use this style on a daily basis at work for some reasons: 1) It’s hard to find properties that should hold true that are not very complected and 2) the trusted implementation is often not there.

Maybe some utils functions to deal with dates, data transformations and things like that would be more appropriate. But still, I lack the trusted implementation for these, maybe writing a second version to the generator is good enough.


Test Check is a different way to thinking about testing

property-based testing is what test.check is using

concurrent programs are hard to test - because their execution is non-deterministic


  1. thinking in properties

  2. finding trusted implementation

  3. we have to write generators

Tags: generative testing clojure