[plt-dev] random testing, we need to do more of this

From: Michael Sperber (sperber at deinprogramm.de)
Date: Mon Jan 25 09:30:49 EST 2010

Noel Welsh <noelwelsh at gmail.com> writes:

> On Mon, Jan 25, 2010 at 8:05 AM, Michael Sperber
> <sperber at deinprogramm.de> wrote:
>> I'll point out that a quite complete port of the original QuickCheck is
>> sitting in the deinprogramm/quickcheck collection.  I wrote it for our
>> teaching languages (where feedback indicates it's a success), but it's
>> by no means restricted to that.
> For the sake of completeness, there is also fasttest on Planet.

Right.  But note that it's different from QuickCheck: It features a
bunch of procedures that generate random values of various types,
whereas QuickCheck is a combinator library for generators.  That comes
into play with compound generators - such as generators for procedures.

Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla

Posted on the dev mailing list.