Checkit

From HaskellWiki
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 replay
  • 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.