Re: Testing relational databases
Date: Mon, 10 Jul 2006 17:38:33 +0100
Message-ID: <e8tvgr$ne1$1_at_nntp.aioe.org>
"Marshall" <marshall.spight_at_gmail.com> wrote in message news:1152548050.629713.290800_at_s13g2000cwa.googlegroups.com...
>> "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 - 18:38:33 CEST