Re: Testing relational databases

From: Marshall <marshall.spight_at_gmail.com>
Date: 11 Jul 2006 09:27:44 -0700
Message-ID: <1152635263.957989.112730@m79g2000cwm.googlegroups.com>

Chris Smith wrote:
> S Perryman <a_at_a.net> wrote:
> > There are runtime environments (Eiffel etc) that will do the above.
> > There are static analysis environments (SPARK, Larch etc) that will attempt
> > to do the above.
>
> So you mean either one. There are two cases, then. It's only the
> runtime testing that I entirely take exception to as being able to prove
> any universal statements about program correctness.

Sure. Runtime checks are always existential checks, never universal ones.

Marshall Received on Tue Jul 11 2006 - 11:27:44 CDT