Statistical certification of software systems

A. Di Bucchianico, J.F. Groote, K.M. Hee, van, R. Kruidhof

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

3 Citaten (Scopus)
2 Downloads (Pure)


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.
Originele taal-2Engels
Pagina's (van-tot)346-359
TijdschriftCommunications in Statistics. Part B, Simulation and Computation
Nummer van het tijdschrift2
StatusGepubliceerd - 2008

Vingerafdruk Duik in de onderzoeksthema's van 'Statistical certification of software systems'. Samen vormen ze een unieke vingerafdruk.

Citeer dit