Difference between revisions of "Checkit"
Jump to navigation
Jump to search
m |
m |
||
| Line 9: | Line 9: | ||
* Generalized data structure generation |
* Generalized data structure generation |
||
* Automatic shrink for any data type that is checkable |
* Automatic shrink for any data type that is checkable |
||
| − | * Whole-test argument capture and |
+ | * Whole-test argument capture and replay |
* support for test data containing partially defined data |
* support for test data containing partially defined data |
||
Latest revision as of 15:41, 23 August 2008
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.