Title :
A Bayesian estimation method for the failure rate of a possibly correct program
Author :
Becker, G. ; Camarinopoulos, L.
Author_Institution :
Inst. fuer Prozess & Anlagentechnik. Tech. Univ. of Berlin, West Germany
fDate :
11/1/1990 12:00:00 AM
Abstract :
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
Keywords :
Bayes methods; probability; software reliability; Bayes law; Bayesian estimation method; conjugate priors; estimator; failure probability; failure rate; last step; possibly correct program; posterior; prior step; software reliability modeling; upper bound; Application software; Artificial intelligence; Bayesian methods; Debugging; Error correction; Error probability; Software reliability; Statistics; Upper bound;
Journal_Title :
Software Engineering, IEEE Transactions on
