While the constraints may be cost etc perhaps something I took from a PL/1 book -;-0 years ago may be relevant. 'The Meaning of Correctness
1. The program contains no syntax errors that can be detected by the compiler. 2. As for 1 and it can be run. 3. There exists a set of test data for which the program will yield the correct answer 4. For a typical ( ie reasonable) set of data the program return the right answer 5. For a deliberately difficult set of data the program returns the right answer. 6. For all sets of data, valid with respect to the specification, the program restuns the right answer 7. For all possible sets of valid test data, and for all likely conditions of erroneous input the program returns a correct ( or at least reasonable) answer. 8. For all possible input the program gives the correct, or reasonable answers.
Most programmers work at level 3 or 4 Users at 8.'
(I am sorry but I have lost the reference to the original book)
Slashdot Mirror
While the constraints may be cost etc perhaps something I took from a PL/1 book - ;-0 years ago may be relevant.
'The Meaning of Correctness
1. The program contains no syntax errors that can be detected by the compiler.
2. As for 1 and it can be run.
3. There exists a set of test data for which the program will yield the correct answer
4. For a typical ( ie reasonable) set of data the program return the right answer
5. For a deliberately difficult set of data the program returns the right answer.
6. For all sets of data, valid with respect to the specification, the program restuns the right answer
7. For all possible sets of valid test data, and for all likely conditions of erroneous input the program returns a correct ( or at least reasonable) answer.
8. For all possible input the program gives the correct, or reasonable answers.
Most programmers work at level 3 or 4
Users at 8.'
(I am sorry but I have lost the reference to the original book)