Bayesian Analysis of the Sequential Inspection Plan via the Gibbs Sampler

A complex product, such as a software system, is often inspected more than once in a sequential manner to further improve its quality and reliability. In such a case, a particularly important task is to accurately estimate the number of errors still remaining in the product after a series of multiple inspections. In the paper, we first develop a maximum likelihood method of estimating both the number of undiscovered errors in the product and the detection probability. We then compare its performance with that of an existing estimation method that has several limitations. We also propose a Bayesian method with noninformative priors, which performs very well in a Monte Carlo simulation study. As the prior knowledge is elicited and incorporated in the analysis, the prediction accuracy of the Bayesian method improves even further. Thus, it would be worthwhile to use various estimation methods and compare their estimates in a specific inspection environment.

[1]  J. Berger Statistical Decision Theory and Bayesian Analysis , 1988 .

[2]  Khaled El Emam,et al.  Evaluating Capture-Recapture Models with Two Inspectors , 2001, IEEE Trans. Software Eng..

[3]  O. Vorobyev,et al.  Discrete multivariate distributions , 2008, 0811.0406.

[4]  Young H. Chun Serial Inspection Plan in the Presence of Inspection Errors: Maximum Likelihood and Maximum Entropy Approaches , 2005 .

[5]  G. B. Wetherill,et al.  A Review of Acceptance Sampling Schemes with Emphasis on the Economic Aspect , 1975 .

[6]  William S. Jewell Bayesian Extensions to a Basic Model of Software Reliability , 1985, IEEE Transactions on Software Engineering.

[7]  E. George Capture—recapture estimation via Gibbs sampling , 1992 .

[8]  W S Jewell,et al.  Bayesian Estimation of Undetected Errors. , 1983 .

[9]  Kenneth H. Pollock,et al.  Modeling capture, recapture, and removal statistics for estimation of demographic parameters for fish and wildlife populations : Past, present, and future , 1991 .

[10]  Douglas G. Bonett,et al.  Sequential defect removal sampling , 1994 .

[11]  John K Kruschke,et al.  Bayesian data analysis. , 2010, Wiley interdisciplinary reviews. Cognitive science.

[12]  J A Woodward,et al.  A linear model for estimating the size of a closed population. , 1986, The British journal of mathematical and statistical psychology.

[13]  G. Seber A review of estimating animal abundance. , 1986, Biometrics.

[14]  Mu Zhu,et al.  The Counter-intuitive Non-informative Prior for the Bernoulli Family , 2004 .

[15]  Douglas G. Bonett Estimating the number of defects under imperfect inspection , 1988 .

[16]  Mu Zhu The Counter-intuitive Non-informative Prior for the Bernoulli Family , 2004 .

[17]  Betsy S. Greenberg,et al.  Repetitive testing in the presence of inspection errors , 1995 .

[18]  C. Robert,et al.  Estimation of Finite Mixture Distributions Through Bayesian Sampling , 1994 .

[19]  Colin G. Drury,et al.  The Two-Inspector Problem , 1986 .

[20]  Bo Bergman,et al.  On Bayesian software reliability modelling , 1991 .

[21]  J. Charles Kerkering,et al.  Subjective and Objective Bayesian Statistics: Principles, Models, and Applications , 2003, Technometrics.

[22]  Tzvi Raz,et al.  Sequencing of inspection operations subject to errors , 1993 .

[23]  B. J. Castledine A Bayesian analysis of multiple-recapture sampling for a closed population , 1981 .

[24]  Lionel C. Briand,et al.  A Comprehensive Evaluation of Capture-Recapture Models for Estimating Software Defect Content , 2000, IEEE Trans. Software Eng..

[25]  N. Ebrahimi,et al.  Bayesian capture-recapture methods for error detection and estimation of population size: Heterogeneity and dependence , 2001 .

[26]  Zachary F. Lansdowne,et al.  Reliability Estimation for a Software System with Sequential Independent Reviews , 2001, IEEE Trans. Software Eng..

[27]  Jerry Nedelman,et al.  Book review: “Bayesian Data Analysis,” Second Edition by A. Gelman, J.B. Carlin, H.S. Stern, and D.B. Rubin Chapman & Hall/CRC, 2004 , 2005, Comput. Stat..

[28]  Lynn Kuo,et al.  Bayesian Computation for Nonhomogeneous Poisson Processes in Software Reliability , 1996 .