Statistical approach to software reliability certification

I. Corro Ramos; A. Di Bucchianico; K.M. Hee, van

Statistical approach to software reliability certification

I. Corro Ramos, A. Di Bucchianico, K.M. Hee, van

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Downloads (Pure)

Abstract

We present a sequential software release procedure that certifies with some confidence level that the next error is not occurring within a certain time interval. Our procedure is defined in such a way that the release time is optimal for single stages and the global risk can be controlled. We assume that the failure detection process can be modeled as a General Order Statistics model where its unknown parameters are studied from a Bayesian point of view. We show how to implement our procedure and study its performance via simulation.

Original language	English
Title of host publication	Proceedings XXXI Congreso Nacional de Estadística e Investigación Operativa (SEIO 2009, Murcia, Spain, February 10-13, 2009)
Pages	18-
Publication status	Published - 2009

Cite this

@inproceedings{821c503150c342b39a1f5df4c00ed06b,

title = "Statistical approach to software reliability certification",

abstract = "We present a sequential software release procedure that certifies with some confidence level that the next error is not occurring within a certain time interval. Our procedure is defined in such a way that the release time is optimal for single stages and the global risk can be controlled. We assume that the failure detection process can be modeled as a General Order Statistics model where its unknown parameters are studied from a Bayesian point of view. We show how to implement our procedure and study its performance via simulation.",

author = "{Corro Ramos}, I. and {Di Bucchianico}, A. and {Hee, van}, K.M.",

year = "2009",

language = "English",

isbn = "978-84-691-8159-1",

pages = "18--",

booktitle = "Proceedings XXXI Congreso Nacional de Estad{\'i}stica e Investigaci{\'o}n Operativa (SEIO 2009, Murcia, Spain, February 10-13, 2009)",

}

Statistical approach to software reliability certification. / Corro Ramos, I.; Di Bucchianico, A.; Hee, van, K.M.

Proceedings XXXI Congreso Nacional de Estadística e Investigación Operativa (SEIO 2009, Murcia, Spain, February 10-13, 2009). 2009. p. 18-.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Statistical approach to software reliability certification

AU - Corro Ramos, I.

AU - Di Bucchianico, A.

AU - Hee, van, K.M.

PY - 2009

Y1 - 2009

N2 - We present a sequential software release procedure that certifies with some confidence level that the next error is not occurring within a certain time interval. Our procedure is defined in such a way that the release time is optimal for single stages and the global risk can be controlled. We assume that the failure detection process can be modeled as a General Order Statistics model where its unknown parameters are studied from a Bayesian point of view. We show how to implement our procedure and study its performance via simulation.

AB - We present a sequential software release procedure that certifies with some confidence level that the next error is not occurring within a certain time interval. Our procedure is defined in such a way that the release time is optimal for single stages and the global risk can be controlled. We assume that the failure detection process can be modeled as a General Order Statistics model where its unknown parameters are studied from a Bayesian point of view. We show how to implement our procedure and study its performance via simulation.

M3 - Conference contribution

SN - 978-84-691-8159-1

SP - 18-

BT - Proceedings XXXI Congreso Nacional de Estadística e Investigación Operativa (SEIO 2009, Murcia, Spain, February 10-13, 2009)

ER -

Statistical approach to software reliability certification

Abstract

Fingerprint

Cite this