Re: Transactions: good or bad?

From: tj bandrowsky <anakin_at_unitedsoftworks.com>
Date: 9 Jun 2003 15:33:18 -0700
Message-ID: <af3d9224.0306091433.6712f63c_at_posting.google.com>


But, if you have test cases that work for all conditionals within an application, then haven't you effectively proven that the algorithm works for all inputs?

> 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.
Received on Tue Jun 10 2003 - 00:33:18 CEST

Original text of this message