Issue No. 11 - November (1990 vol. 16)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.60318
<p>An extension of software reliability modeling is introduced to account for the possibility of programs which, after some debugging, contain no more errors. This is achieved by a repetitive application of the Bayes law, each time taking the posterior of the last step as a prior for the next one. A class of conjugate priors considerably facilitates this modeling. The resulting model includes an estimator for the probability that a program still contains errors, which is an upper bound for the failure probability.</p>
prior step; Bayesian estimation method; failure rate; possibly correct program; software reliability modeling; Bayes law; posterior; last step; conjugate priors; estimator; upper bound; failure probability; Bayes methods; probability; software reliability
G. Becker and L. Camarinopoulos, "A Bayesian Estimation Method for the Failure Rate of a Possibly Correct Program," in IEEE Transactions on Software Engineering, vol. 16, no. , pp. 1307-1310, 1990.