Generative Testing: Properties, State and Beyond - Jan Stepien

3,460 views · Published 3 July 2015 · 31:36 · Indexed 10 November 2026

Channel: ClojureTV · 2015 · Science & Technology

Watch on YouTube

The talk will discuss how property-based testing compares to traditional testing methods and demonstrate its principles on simple examples. We will also see how does it fit into a TDD workflow. In order to bust the myth of inapplicability of property-based testing in a real-world setting we'll bring up some use cases from the industry. Afterwards we'll move on from immutable, static properties to a more dynamic setting. We'll see how tools present in the Clojure ecosystem allow us to validate stateful computations through generation of test scenarios. Finally, we'll wander into the world of concurrency and automation of race conditions detection.

More from this channel

• 18:41 Fertile Ground, the Roots of Clojure - Michael Fogus

  ClojureTV

  2,412 views · 17 December 2012

• 39:41 Lisp, Functional Programming, and the State of Flow - Tom Faulhaber

  ClojureTV

  3,393 views · 17 December 2012

• 39:17 Protocol XIII: Clojure Protocols Explained - Sean Devlin

  ClojureTV

  3,183 views · 17 December 2012

• 5:23 Aleph: A Framework for AsynchronousCommunication - Zach Tellman

  ClojureTV

  2,458 views · 17 December 2012

• 26:57 Clojure and Android - Daniel Solano Gomez

  ClojureTV

  3,398 views · 7 January 2013

• 38:24 Performance in the Wild - Craig Andera

  ClojureTV

  1,798 views · 7 January 2013

• 41:18 Concurrent Stream Processing - David McNeil

  ClojureTV

  1,238 views · 7 January 2013

• 42:20 Ousterhout's Dichotomy Isn't (Part 2 of the Simplicity/Power/Focus Series) - Stuart Halloway

  ClojureTV

  2,733 views · 7 January 2013