An optimal statistical testing policy for software reliability demonstration of safety-critical systems

Tal, O., McCollin, C. and Bendell, A., 2002. An optimal statistical testing policy for software reliability demonstration of safety-critical systems. European Journal of Operational Research, 137 (3), pp. 544-557. ISSN 0377-2217

Preview

Text 184799_2515 Mccollin PostPrint.pdf Download (98kB) | Preview

Abstract

When software reliability demonstration of safety-critical systems by statistical testing is treated as a Test, Analyse and Fix (TAAF) process, an optimal testing policy can be found, which maximises the probability of success of the whole process, over a pre-determined period of time. The optimisation problem is formulated, solved by stochastic dynamic programming, and demonstrated by two numerical examples.

Item Type:	Journal article
Publication Title:	European Journal of Operational Research
Creators:	Tal, O., McCollin, C. and Bendell, A.
Publisher:	Elsevier Science
Place of Publication:	Amsterdam
Date:	2002
Volume:	137
Number:	3
ISSN:	0377-2217
Identifiers:	Number Type 10.1016/S0377-2217(01)00086-8 DOI
Divisions:	Schools > School of Science and Technology
Record created by:	EPrints Services
Date Added:	09 Oct 2015 10:30
Last Modified:	23 Aug 2016 09:10
URI:	https://irep.ntu.ac.uk/id/eprint/13895

Actions (login required)

Edit View

Views

Downloads