A Gibbs-sampler approach to estimate the number of faults in a system using capture-recapture sampling [software reliability]

A new recapture debugging model is suggested to estimate the number of faults in a system, /spl nu/, and the failure intensity of each fault, /spl phi/. The Gibbs sampler and the Metropolis algorithm are used in this inference procedure. A numerical illustration suggests a notable improvement on the estimation of /spl nu/ and /spl phi/ compared with that of a removal debugging model.