Hostname: page-component-84b7d79bbc-4hvwz Total loading time: 0 Render date: 2024-07-29T11:45:06.445Z Has data issue: false hasContentIssue false
  • English
  • Français

A martingale approach to software reliability

Published online by Cambridge University Press:  01 July 2016

G. Koch  and
P. J. C. Spreij
G. Koch
Affiliation:
Istituto Matematico ‘G. Castelnuovo’, University of Rome
P. J. C. Spreij
Affiliation:
Twente University of Technology, Enschede
Get access Rights & Permissions [Opens in a new window]

Extract

Consider the following situation: a computer program which presumably contains a certain number of errors is tested over a given period of time, in order to infer some conclusions about its behaviour when used by future customers.

Type
Applied Probability in Biology and Engineering. An ORSA/TIMS Special Interest Meeting
Information
Advances in Applied Probability , Volume 16 , Issue 1 , March 1984 , pp. 12 - 13
Copyright
Copyright © Applied Probability Trust 1984 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1] Goel, A. L. and Okumoto, K. (1978) Bayesian software prediction models, Vol. 1: An imperfect debugging model for reliability and other quantitative measures of software systems. Rome Air Development Center, NY, RADC-TR-78-155.Google Scholar
[2] Jelinski, Z. and Moranda, P. B. (1972) Software reliability research. In Statistical Computer Performance Evaluation, ed. Freiberger, W., Academic Press, New York, 465–484.Google Scholar
[3] Littlewood, B. (1980) Theories of software reliability: how good are they and how can they be improved? IEEE Trans. Software Engineering SE-6, 489–500.Google Scholar
[4] Littlewood, B. and Verrall, J. L. (1974) A Bayesian reliability model with a stochastically monotone failure rate. IEEE Trans. Reliability R-23, 108–114.CrossRefGoogle Scholar
[5] Musa, J. D. (1975) A theory of software reliability and its application. IEEE Trans. Software Engineering SE-1, 312–327.CrossRefGoogle Scholar
Hordijk, A. and Van Der Duyn Schouten, F. A. (1983) Discretization and weak convergence in Markov decision drift processes. Math. Operat. Res. Google Scholar