An Approach to Program Testing
ACM Computing Surveys (CSUR)
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Reliability of the Path Analysis Testing Strategy
IEEE Transactions on Software Engineering
On the Automated Generation of Program Test Data
IEEE Transactions on Software Engineering
Analyzing the test process using structural coverage
ICSE '85 Proceedings of the 8th international conference on Software engineering
Hi-index | 0.00 |
Program testing remains the major way in which program designers convince themselves of the validity of their programs. Software reliability measures based on hardware reliability concepts have been proposed, but adequate models of software reliability have not yet been developed. Investigators have recently studied formal program testing concepts, with promising results, but have not seriously considered quantitative measures of the “degree of correctness” of a program. We present models for determining, via testing, such probabilistic measures of program correctness as the probability that a program will run correctly on randomly chosen input data, confidence intervals on the number of errors remaining in a program, and the probability that the program has been completely tested. We also introduce a procedure for enhancing correctness estimates by quantifying the error reducing performance of the methods used to develop and debug a program.