City Research Online

Optimising the reliability that can be claimed for a software-based system based on failure-free tests of its components

Bishop, P. G. ORCID: 0000-0003-3307-5159 & Povyakalo, A. A. (2022). Optimising the reliability that can be claimed for a software-based system based on failure-free tests of its components. .

Abstract

This short paper describes a numerical method for optimising the conservative confidence bound on the reliability of a system based on tests of its individual components. This is an alternative to the algorithmic approaches identified in Bishop and Povyakalo, (2020). For a given maximum number of component tests, the numerical method can derive an optimal test plan for any arbitrary system structure. The optimisation method is based on linear programming which is more efficient that the alternative integer programming. In addition, the optimisation process need only be performed once for any given system structure as the solution can be re-used to compute an optimal integer test plan for a different maximum number of component tests. This approach might have broader application to other optimisation problems that are normally implemented using integer programming methods.

Publication Type: Monograph (Working Paper)
Additional Information: Copyright, the authors, 2022.
Publisher Keywords: Statistical testing, Confidence bounds, Software reliability, Fault tolerance, Linear programming
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Q Science > QA Mathematics > QA76 Computer software
Departments: School of Mathematics, Computer Science & Engineering > Computer Science > Software Reliability
[img]
Preview
Text - Draft Version
Download (209kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login