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

From: Michael Sperber (sperber at deinprogramm.de)
Date: Mon Jan 25 11:20:54 EST 2010

Carl Eastlund <carl.eastlund at gmail.com> writes:

> On Mon, Jan 25, 2010 at 10:00 AM, Michael Sperber
> <sperber at deinprogramm.de> wrote:
>> BTW, Carl, please don't take this as criticism of FastTest, which is
>> great for the setting that you developed it for: Your work on this, as
>> you may remember, was the original inspiration to work on QuickCheck and
>> teaching languages in the first place.
> Not at all, I'm well aware that FastTest is still at the "prototype"
> stage.  But if everyone develops their own application-specific
> version (e.g. one for ACL2, one for Deinprogramm, one for PLT Redex,
> etc.), there will be a huge duplication of effort and nothing for
> straightforward Scheme code.  I'd much rather see a generic library
> for random testing in Scheme, for which all the others can be a thin
> veneer.  FastTest was my attempt to start on that.  So far, though, no
> one has pushed further in that direction (either by giving feedback on
> mine or starting their own generic library).

Right.  deinprogramm/quickcheck is my attempt at providing a slightly
more generic library.

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

Posted on the dev mailing list.