Re: Testing relational databases
Date: Mon, 10 Jul 2006 17:38:33 +0100
"Marshall" <marshall.spight_at_gmail.com> wrote in message news:1152548050.629713.290800_at_s13g2000cwa.googlegroups.com...
>> > 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" .
Steven Perryman Received on Mon Jul 10 2006 - 18:38:33 CEST