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.