A BAYESIAN-ESTIMATION METHOD FOR THE FAILURE RATE OF A POSSIBLY CORRECT PROGRAM

被引：10

作者：

BECKER, G

CAMARINOPOULOS, L

机构：

[1] Institut für Prozess und Anlagentechnik, Technical University of Berlin, D-1000 Berlin 10, Sekr. KT 1

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1990年 / 16卷 / 11期

关键词：

Bayesian modeling; conjugate prior; error probability; reliability growth models; software reliability;

D O I：

10.1109/32.60318

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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 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. © 1990 IEEE

引用

页码：1307 / 1310

页数：4