Front page | perl.perl6.language |
Postings from October 2005
Re: Thoughs on Theory.pm
Thread Previous
|
Thread Next
From:
David Storrs
Date:
October 13, 2005 15:54
Subject:
Re: Thoughs on Theory.pm
Message ID:
88D07F9A-5F6B-42BB-8D25-93E378B9E0A1@dstorrs.com
On Oct 13, 2005, at 6:45 PM, Dave Whipp wrote:
> I started thinking about the "in general, unverifiable
> programmatically" bit. While obviously true, perhaps we can get
> closer than just leaving them as comments. It should be possible to
> associate a unit-test-generator with the theory, so I can say:
> [...]
> And then say "for type T, please generate 1000 random tests of T
> using axioms of Ring".
>
> In an ultra-slow debug mode, the aximons could be propagated as
> post conditions on every public mutator of T, so that we test them
> continuously in a running application (or tes suite).
>
While I like the idea, I would point out that 1000 tests with
randomly generated data are far less useful than 5 tests chosen to
hit boundary conditions.
--Dks
Thread Previous
|
Thread Next