Program Testing and Conditional Correctness
(1976) Program Testing and Conditional Correctness. Technical Report CS76007-R, Computer Science, Virginia Tech.
Full text available as: |
Abstract
It is shown that some beliefs about program testing are incorrect. A new notion of correctness, conditional correctness, is defined. It is then shown that conditional correctness, which can in principle be achieved by testing, is not accomplished by such methods as "testing all branches" or "testing all paths". The latter method is proven to be not only insufficient but also highly redundant. Rules for establishing conditional correctness by testing are given and illustrated by an example.
| Item Type: | Departmental Technical Report |
|---|---|
| Keywords: | program testing, program correctness, conditional correctness, testing all paths, testing all branches |
| Subjects: | Computer Science > Historical Collection(Till Dec 2001) |
| ID Code: | 813 |
| Deposited By: | Administrator, Eprints |
| Deposited On: | 03 May 2006 |