A new recapture debugging model is suggested to estimate the number of faults in a system, ν, and the failure intensity of each fault, φ. The Gibbs sampler and the Metropolis algorithm are used in this inference procedure. A numerical illustration suggests a notable improvement on the estimation of ν and φ compared with that of a removal debugging model.
- Capture-recapture sampling
- Credible interval
- Gibbs sampler
- Metropolis algorithm
ASJC Scopus subject areas
- Safety, Risk, Reliability and Quality
- Electrical and Electronic Engineering