Checkit
Jump to navigation
Jump to 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.