Common software release procedures based on statistical techniques try to optimize the trade-off between further testing costs and costs due to remaining errors. We propose new software release procedures where the aim is to certify with a certain confidence level that the software does not contain errors. The underlying model is a discrete time model similar to the geometric Moranda model. The decisions are based on a mix of classical and Bayesian approaches to sequential testing and do not require any assumption on the initial number of errors.
|Tijdschrift||Communications in Statistics. Part B, Simulation and Computation|
|Nummer van het tijdschrift||2|
|Status||Gepubliceerd - 2008|