Re: Testing relational databases

From: S Perryman <>
Date: Mon, 10 Jul 2006 17:38:33 +0100
Message-ID: <e8tvgr$ne1$>

"Marshall" <> wrote in message

>S Perryman wrote:

>> "Marshall" <> 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.

Steven Perryman Received on Mon Jul 10 2006 - 18:38:33 CEST

Original text of this message