Software Modeling Studies. Volume IV. A Statistical Theory of Computer Program Testing

摘要

Program testing is studied for maximizing the reliability of computer programs. Several formulas are derived to estimate the number of tests required to say that a program being tested is correct with a given probability. Strategies to select those test cases which minimize the probability of program error while keeping the number of tests fixed, are investigated. (author)