Re: Testing relational databases

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?

Marshall Received on Mon Jul 10 2006 - 11:14:10 CDT