On program testing criteria
- 25 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
There are three commonly used criteria for program testing: each and every statement (branch) (path) in a program is executed at least once. This paper explores the complexity of proving the correctness of several classes of programs by testing. It turns out that even for very restrictive classes of programs, none of the commonly used test criteria is nearly sufficient to guarantee absence of errors. Then this paper proposes two new test criteria which suggest how to select test data to obtain confidence on program correctness beyond the requirement of having each statement, branch, or path to be executed at least once.Keywords
This publication has 3 references indexed in Scilit:
- An Analysis of Some Commercial PL/I ProgramsIEEE Transactions on Software Engineering, 1976
- Toward a theory of test data selectionIEEE Transactions on Software Engineering, 1975
- An empirical study of FORTRAN programsSoftware: Practice and Experience, 1971