DocumentCode
1336431
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
Volume
16
Issue
11
fYear
1990
fDate
11/1/1990 12:00:00 AM
Firstpage
1307
Lastpage
1310
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.60318
Filename
60318
Link To Document