Checkit

From HaskellWiki
Revision as of 15:38, 23 August 2008 by AndyGill (talk | contribs) (Checkit summary page)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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.