1. Statistical Certification of Software Systems.
- Author
-
Bucchianico, AlessandroDi, Groote, JanFriso, Hee, KeesVan, and Kruidhof, Ronald
- Subjects
- *
BAYESIAN analysis , *COMPUTER software , *MARTINGALES (Mathematics) , *STOCHASTIC processes , *OPTIMAL stopping (Mathematical statistics) , *SEQUENTIAL analysis - Abstract
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. [ABSTRACT FROM AUTHOR]
- Published
- 2008
- Full Text
- View/download PDF