| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
Home -> Community -> Usenet -> comp.databases.theory -> Re: Transactions: good or bad?
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 Mon Jun 09 2003 - 17:33:18 CDT
![]() |
![]() |