A Bayesian modification to the Jelinski-Moranda software reliability growth model

The Jelinski-Moranda (JM) model for software reliability growth is one of the most commonly cited (often in its guise as the `Musa model?). Recent studies show that the reliability estimates and predictions given by the model are often grossly inaccurate. It has been suggested that one reason for this poor performance may be the use of the maximum-likelihood method of inference. This paper describes a Bayesian version of the model and shows that it is sometimes an improvement on JM. However, both versions have a tendency to give optimistic answers, probably owing to a key, but implausible, underlying assumption common to both models. The authors conclude that the generally poor performance of the models is such that they should only be used with great caution.

[1]  Edward N. Adams,et al.  Optimizing Preventive Service of Software Products , 1984, IBM J. Res. Dev..

[2]  Bev Littlewood,et al.  Stochastic Reliability-Growth: A Model for Fault-Removal in Computer-Programs and Hardware-Designs , 1981, IEEE Transactions on Reliability.

[3]  Nozer D. Singpurwalla,et al.  Bayesian Analysis of a Commonly Used Model for Describing Software Failures , 1983 .

[4]  John D. Musa,et al.  A theory of software reliability and its application , 1975, IEEE Transactions on Software Engineering.

[5]  Irene A. Stegun,et al.  Handbook of Mathematical Functions. , 1966 .

[6]  Bev Littlewood,et al.  A Bayesian Reliability Growth Model for Computer Software , 1973 .

[7]  Martin L. Shooman,et al.  Probabilistic Models for Software reliability Prediction , 1972, Statistical Computer Performance Evaluation.

[8]  Nozer D. Singpurwalla,et al.  An Empirical Stopping Rule for Debugging and Testing Computer Software , 1977 .

[9]  Z. Jelinski,et al.  Software reliability Research , 1972, Statistical Computer Performance Evaluation.

[10]  Henry Braun,et al.  New Models for Reliability Growth. , 1980 .

[11]  Bev Littlewood,et al.  Likelihood Function of a Debugging Model for Computer Software Reliability , 1981, IEEE Transactions on Reliability.

[12]  Bev Littlewood,et al.  Criteria for Software Reliability Model Comparisons , 1984, IEEE Transactions on Software Engineering.

[13]  M. Degroot Optimal Statistical Decisions , 1970 .

[14]  L. H. Crow Confidence Interval Procedures for Reliability Growth Analysis , 1977 .

[15]  Bev Littlewood,et al.  On the Quality of Software Reliability Prediction , 1983 .

[16]  Bev Littlewood,et al.  Evaluation of competing software reliability predictions , 1986, IEEE Transactions on Software Engineering.

[17]  N. Reid,et al.  Estimating the Number of Faults in a System , 1985 .

[18]  D. Cox,et al.  The statistical analysis of series of events , 1966 .

[19]  Bev Littlewood How to Measure Software Reliability and How Not To , 1979, IEEE Transactions on Reliability.

[20]  Ernest H. Forman Statistical models and methods for measuring software reliability. , 1975 .

[21]  Amrit L. Goel Software error detection model with applications , 1980, J. Syst. Softw..

[22]  Bev Littlewood,et al.  Theories of Software Reliability: How Good Are They and How Can They Be Improved? , 1980, IEEE Transactions on Software Engineering.