Computer Science Technical Reports
CS at VT

Program Testing and Conditional Correctness

Martin, Dr. Johannes J. (1976) Program Testing and Conditional Correctness. Technical Report CS76007-R, Computer Science, Virginia Tech.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
CS76007-R.pdf (680568)


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