A stopping rule for a compound poisson random variable

An optimal empirical Bayesian stopping rule for the Poisson compounded with the geometric distribution is developed and applied to the problem of the sequential testing of computer software. For each checkpoint in time, either the software satisfies a desired economic criterion, or else the software testing is continued.