Create a gist now

Instantly share code, notes, and snippets.

What would you like to do?
Property-Based Testing Tools

If you're coming to the Property-Based TDD As If You Meant It Workshop, you will need to bring a laptop with your favourite programming environment, a property-based testing library and, depending on the language, a test framework to run the property-based-tests.

Any other languages or suggestions? Comment below.

.NET (C#, F#, VB)

Python:

  • Factcheck -- requires a test framework (I like pytest), I wrote it (benefits - you can ask me about it, drawbacks - it's not very mature). Can be installed from PyPI with Pip or easy_install.
  • Hypothesis -- requires a test framework, provides decorators for easy integration
  • pytest-quickcheck - requires pytest, I found it hard to extend, and so wrote Factcheck

Ruby:

Scala:

Clojure:

Java:

Groovy:

  • Gruesome -- a quick and dirty implementation for Groovy

JavaScript:

@scarytom

This comment has been minimized.

Show comment Hide comment
@scarytom

scarytom Nov 27, 2012

For a Clojure project with the correct clojurecheck leiningen dependency feel free to clone this: https://github.com/scarytom/proptdd

For a Clojure project with the correct clojurecheck leiningen dependency feel free to clone this: https://github.com/scarytom/proptdd

@pholser

This comment has been minimized.

Show comment Hide comment
@pholser

pholser May 28, 2013

@tcmak

This comment has been minimized.

Show comment Hide comment
@tcmak

tcmak May 28, 2013

I tried qc.js before. The syntax is a little weird, but usable: https://bitbucket.org/darrint/qc.js/

(oh... it's on bitbucket!)

tcmak commented May 28, 2013

I tried qc.js before. The syntax is a little weird, but usable: https://bitbucket.org/darrint/qc.js/

(oh... it's on bitbucket!)

@kolman

This comment has been minimized.

Show comment Hide comment
@kolman

kolman Oct 23, 2013

What about Haskell? After all, QuickCheck was first written in it, right?

kolman commented Oct 23, 2013

What about Haskell? After all, QuickCheck was first written in it, right?

@newswim

This comment has been minimized.

Show comment Hide comment
@dubzzz

This comment has been minimized.

Show comment Hide comment
@dubzzz

dubzzz Feb 2, 2018

Typescript, JavaScript - https://github.com/dubzzz/fast-check

dubzzz commented Feb 2, 2018

Typescript, JavaScript - https://github.com/dubzzz/fast-check

@feeeper

This comment has been minimized.

Show comment Hide comment
@feeeper

feeeper Feb 27, 2018

FsCheck is on github now: https://github.com/fscheck/FsCheck

feeeper commented Feb 27, 2018

FsCheck is on github now: https://github.com/fscheck/FsCheck

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment