The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1990 vol.16)
pp: 1307-1310
ABSTRACT
<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>
INDEX TERMS
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
CITATION
G. Becker, L. Camarinopoulos, "A Bayesian Estimation Method for the Failure Rate of a Possibly Correct Program", IEEE Transactions on Software Engineering, vol.16, no. 11, pp. 1307-1310, November 1990, doi:10.1109/32.60318
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool