A Debugging Model with Independent Flaws and Random Masking

A system with a Poisson-distributed number of flaws is undergoing a sequence of trials designed to detect and remove the flaws. On each trial, independently and with probability q, masking occurs that blocks the detection of flaws on that trial. If masking does not occur on a trial then each flaw in the system, independently, is detected with probability p on that trial. Each flaw detected on a trial, independently, is removed with probability r before the next trial. This note derives distributions and measures of quality for this problem.