The Community for Technology Leaders
ABSTRACT
<p>Formulas for estimating the probability of failure when testing reveals no errors are introduced. These formulas incorporate random testing results, information about the input distribution; and prior assumptions about the probability of failure of the software. The formulas are not restricted to equally likely input distributions, and the probability of failure estimate can be adjusted when assumptions about the input distribution change. The formulas are based on a discrete sample space statistical model of software and include Bayesian prior assumptions. Reusable software and software in life-critical applications are particularly appropriate candidates for this type of analysis.</p>
INDEX TERMS
failure probability estimation; formulas; random testing results; input distribution; prior assumptions; failure estimate; discrete sample space statistical model; Bayesian prior assumptions; life-critical applications; Bayes methods; probability; program testing
CITATION

M. Voas et al., "Estimating the Probability of Failure When Testing Reveals No Failures," in IEEE Transactions on Software Engineering, vol. 18, no. , pp. 33-43, 1992.
doi:10.1109/32.120314