Statistical Certification of Software Systems

Abstract

Common software release procedures based on statistical techniques try to optimise 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 that the software does not contain errors. The underlying model is a new discrete-time model similar to the JelinskiMoranda 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.

Model Driven Testing Based on Test History

“…In order to exploit the information contained in X l , 1 ≤ l ≤ n, we develop a release procedure for white-box testing considering the error probability θ as a random variable Θ with prior distribution function F Θ (θ) (see [5] for a similar black-box test procedure). Denote by X = (X 1 , .…”