Re: Testing relational databases



"Marshall" <marshall.spight@xxxxxxxxx> wrote in message
news:1152994526.744599.300130@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

S Perryman wrote:

SP> 1.It does nothing of the kind. Here is the paper :

SP> http://www.praxis-his.com/pdfs/cost_effective_proof.pdf

SP> In it they compare the costs/ROI of formal proof vs unit tests of any
kind.
SP> The results are quite telling.

Very cool. Gonna try to read that today.

Read it. Wow.

Please expand upon "Wow" .
Your usage of the phrase (in general and/or as a result of reading the
paper)
may differ from others ... :-)


Regards,
Steven Perryman


.