The paper treats a modular program in which transfers of control between modules follow a semi-Markov process. Each module is failure-prone, and the different failure processes are assumed to be Poisson. The transfers of control between modules (interfaces) are themselves subject to failure. The overall failure process of the program is described, and an asymptotic Poisson process approximation is given for the case when the individual modules and interfaces are very reliable. A simple formula gives the failure rate of the overall program (and hence mean time between failures) under this limiting condition. The remainder of the paper treats the consequences of failures. Each failure results in a cost, represented by a random variable with a distribution typical of the type of failure. The quantity of interest is the total cost of running the program for a time t, and a simple approximating distribution is given for large t. The parameters of this limiting distribution are functions only of the means and variances of the underlying distributions, and are thus readily estimable. A calculation of program availability is given as an example of the cost process. There follows a brief discussion of methods of estimating the parameters of the model, with suggestions of areas in which it might be used.
[1]
Z. Jelinski,et al.
Software reliability Research
,
1972,
Statistical Computer Performance Evaluation.
[2]
Bev Littlewood,et al.
A Bayesian Reliability Growth Model for Computer Software
,
1973
.
[3]
T. Lindvall,et al.
Thinning and rare events in point processes
,
1974
.
[4]
Bev Littlewood,et al.
A Reliability Model for Systems with Markov Structure
,
1975
.
[5]
John D. Musa,et al.
A theory of software reliability and its application
,
1975,
IEEE Transactions on Software Engineering.
[6]
Markov Structure.
A Reliability Model for Systems with
,
1975
.
[7]
Bev Littlewood.
A reliability model for Markov structured software
,
1975
.
[8]
Martin L. Shooman,et al.
Structural models for software reliability prediction
,
1976,
ICSE '76.
[9]
Claude E. Walston,et al.
A Method of Programming Measurement and Estimation
,
1977,
IBM Syst. J..
[10]
Bev Littlewood.
How to Measure Software Reliability and How Not To
,
1979,
IEEE Transactions on Reliability.
[11]
John D. Musa.
Validity of Execution-Time Theory of Software Reliability
,
1979,
IEEE Transactions on Reliability.