Re: Testing relational databases
Date: 10 Jul 2006 09:14:10 -0700
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" .
Marshall Received on Mon Jul 10 2006 - 18:14:10 CEST