1. Theoretical and Empirical Studies of Program Testing.
- Author
-
Howden, William E.
- Subjects
- *
COMPUTER software testing , *SOFTWARE engineering , *SYSTEMS design , *COMPUTER software , *COMPUTER systems , *COMPUTER science - Abstract
Two approaches to the study of program testing arc described. One approach is theoretical and the other empirical. In the theoretical approach situations are characterized in which it is possible to use testing to formally prove the correctness of programs or the correctness of properties of programs. In the empirical approach statistics are collected which record the frequency with which different testing strategies reveal the errors in a collection of programs. A summary of the results of two research projects which investigated these approaches are presented. The differences between the two approaches are discussed and their relative advantages and disadvantages are compared. [ABSTRACT FROM AUTHOR]
- Published
- 1978