Reliability Allocation for a Software System with Modular Structure

• Robert Burnett University of Newcastle
• Tom Anderson University of Newcastle

DOI: https://doi.org/10.5753/sbes.1994.24458

Resumo

This paper proposes a method for allocating an appropriate reliability requirement to each module of a modular software system, using Markov analysis. A formula to calculate an estimate of the overall system reliability is established. From that formula, a procedure to allocate the reliability requirement for each module is derived using an optimization process, taking into account the known overall required level of reliability.

Referências

Brown, D. A method for obtaining software reliability measures during development IEEE Transactions on Reliability, R-36(5):573-580, December 1987

Burnett, R. and Anderson, T. Reliability allocation for a system using Markov analysis Technical Report 477, University of Newcastle upon Tyne, March 1994

Cheung, R. A user-oriented software reliability model IEEE Transactions on Software Engineering, SE-6(2):118-125, March 1980

Cox, D.R. and Miller, H.D. Theory of stochastic processes Methuen, London, 1965

Fenton, N. Software metrics: a rigorous approach Chapman Hall, England, 1991

Fox, L. An introduction to numerical linear algebra Monographs on Numerical Analysis, Oxford Science Publications, 1964

Kubat, P. Assessing reliability of modular software Operation Research Letters, 8(1):35-41, February 1989

Littlewood, B. Software reliability model for modular program structure IEEE Transactions on Reliability, R-28(3):241-246, August 1979

The Numerical Algorithms Group Limited, NAG Fortran Library, MARK 14 Oxford, England, Ist Edition 1990

Pressman, R. Software engineering: a practitioner's approach McGraw Hill, 1992

Pucci, G. On the modelling and testing of recovery block structures IEEE Transactions on Software Enginering, SE-18(2):159-167, February 1992

Siegrist, K. Reliability of systems with Markov transfer of control IEEE Transactions on Software Engineering, SE-14(7):1049-1053, July 1988

Siegrist, K. Reliability of systems with Markov transfer of control, II IEEE Transactions on Software Engineering, SE-14(10):1478-1480, October 1988

Trivedi,K.S. Probabilistics and statistics with reliability, queueing and computer science applications Prentice-Hall, NJ, 1982

Whitaker, J. and Poore, J. Markov analysis of software specification ACM Transactions on Software Engineering and Methodology, 2(1):93-106, January 1993