March 24-26 2014 The Palace Hotel San Francisco

Register for Clojure/West
Register for Intro to Clojure, ClojureScript or Datomic Training

Reid Draper @reiddraper



Reid Draper is Software Engineer at Basho, where he writes Erlang and works on Riak and Riak CS. His primary software interests are functional programming, distributed systems and QuickCheck. He enjoys cooking and making cocktails.

Powerful Testing with test.check

Unit-testing is a common tool for gaining confidence in code correctness. However, the benefit from these tests is often linear to the number of hand-written test-cases. test.check (formerly simple-check) is a property-based testing tool based on QuickCheck, which allows for thousands of tests with constant effort.

Tests are written as universal quantifications -- properties which should hold true for all input. test.check then randomly generates test cases, for which the property should pass. In this talk, we'll take a look at the foundations of test.check, implementation details regarding shrinking, and see sophisticated tests of concurrent and non-deterministic code.

our sponsors


Sign up for updates on Clojure/West