Re: Testing relational databases

From: S Perryman <a_at_a.net>
Date: Mon, 10 Jul 2006 17:38:33 +0100
Message-ID: <e8tvgr$ne1$1@nntp.aioe.org>

"Marshall" <marshall.spight_at_gmail.com> wrote in message news:1152548050.629713.290800_at_s13g2000cwa.googlegroups.com...

>S Perryman wrote:

>> "Marshall" <marshall.spight_at_gmail.com> wrote in message

>> > Now, I would argue that what we most often want is actually
>>> not existential quantification but universal quantification. In fact,
>>> what we *really* want is existential quantification, universal
>>> quantification, and witnesses, and we want them all available
>>> both at compile time and at runtime. And we want the
>>> witnesses to be system generated wherever possible.

>> Design By Contract ??
>> Specification-directed testing ??
>> Design For Testability ??

>> All techniques that by themselves or together will give you for a large
>> majority of systems exactly what "we want" .

> I don't follow. What are you trying to say?

The techniques (see above) to deliver what "we" want are already here. :-) And they work very well indeed.

Regards,
Steven Perryman Received on Mon Jul 10 2006 - 11:38:33 CDT