Re: Transactions: good or bad?
From: Marshall Spight <mspight_at_dnai.com>
Date: Mon, 09 Jun 2003 15:47:06 GMT
Message-ID: <_Z1Fa.79058$d51.147876_at_sccrnsc01>
> And what is a formal proof but test cases based on internal
> consistency?
Date: Mon, 09 Jun 2003 15:47:06 GMT
Message-ID: <_Z1Fa.79058$d51.147876_at_sccrnsc01>
"Todd Bandrowsky" <anakin_at_unitedsoftworks.com> wrote in message news:af3d9224.0306081935.7a35edfa_at_posting.google.com...
>
> And what is a formal proof but test cases based on internal
> consistency?
A set of testcases is a demonstration that an algorithm works for a specific set of inputs. A proof is an explanation of why an algorithm works for all possible inputs. They may be related as far as intention, but they are not the same thing.
Marshall Received on Mon Jun 09 2003 - 17:47:06 CEST