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.