Checkit
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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.