You are looking at historical revision 25381 of this page. It may differ significantly from its current revision.
Description
cluckcheck is a Chicken Scheme port of the QuickCheck unit test framework.
cluckcheck is a different kind of unit test framework. Rather than using a bunch of manual assert-assert-assert statements, cluckcheck tests properties. For an overview of the QuickCheck methodology, see YelloSoft QuickCheck.
Authors
Andrew Pennebaker
Requirements
No egg requirements.
API
[procedure] (gen-int)Generate a random integer.
[procedure] (gen-bool)Generate a random boolean.
[procedure] (gen-char)Generate a random character.
[procedure] (gen-list gen)Generate a random list populated by gen.
gen-list can be combined with other generators, including custom generators, to create generators for complex data structures. See gen-string.
[procedure] (gen-string)Generate a random string. gen-string is a wrapper around (gen-list gen-char).
[procedure] (for-all property gen1 gen2 gen3...)Tests a property function with values generated by the generator functions. If the property returns false, testing halts and the offending input values are printed to the screen.