Checkit

Checkit is a toolkit for building QuickCheck style libraries, and is offered as an alternative to cloning and modifying QuickCheck.

Like QuickCheck, it uses a prop_ style list of properties, written in Haskell.

Highlights

Test Data Generation

* Generalized data structure generation
* Automatic shrink for any data type that is checkable
* Whole-test argument capture and reply
* support for test data containing partially defined data

Running Tests

* Parallelism support for multicore
* Timeout support
* Test timing and timing sanity checking support
* partial application efficiency checking
* integration with the Dynamic HPC interface (run tests until no new coverage is being found, for example)

Reporting Tests

* ASCII
* XML and HTML
* Custom reports

Checkit is being actively developed at the University of Kansas.