Property-Based Testing Tools

property-based-testing-tools.md

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)

• FsCheck

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:

• Rantly

Scala:

• ScalaCheck

Clojure:

• ClojureCheck -- requires clojure.test

Haskell:

• [Quickcheck] (http://book.realworldhaskell.org/read/testing-and-quality-assurance.html)

Java:

• JavaQuickCheck -- requires JUnit or some other testing framework

PHP:

• [PHP Quick check] (https://github.com/steos/php-quickcheck)

Groovy:

• Gruesome -- a quick and dirty implementation for Groovy

JavaScript:

• QC.js

Golang:

• [Quick] (https://golang.org/pkg/testing/quick/) (Blog post: http://blog.matttproud.com/2015/06/testingquick-blackbox-testing-in-go-for.html)

You might be interested into adding:

• JavaScript: https://github.com/dubzzz/fast-check
• C++: https://github.com/emil-e/rapidcheck

There is another tool for PHP: https://github.com/giorgiosironi/eris