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

From: Michael Sperber (sperber at deinprogramm.de)
Date: Mon Jan 25 03:05:39 EST 2010

David Herman <dherman at ccs.neu.edu> writes:

> I got to have lunch with Jacob last week and he was talking about how
> QuickCheck really opened his eyes about the value of randomized
> testing. In particular, he described how it lifts your thinking out of
> the realm of individual cases to general properties, since you let the
> engine to the dirty work of generating the cases. IOW, it makes it
> easier to think about invariants.

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.

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

Posted on the dev mailing list.