Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: Testing relational databases

Re: Testing relational databases

From: Marshall <marshall.spight_at_gmail.com>
Date: 10 Jul 2006 09:14:10 -0700
Message-ID: <1152548050.629713.290800@s13g2000cwa.googlegroups.com>


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

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US