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

[img]
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:
NumberType
10.1016/S0377-2217(01)00086-8DOI
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 Edit View

Views

Views per month over past year

Downloads

Downloads per month over past year