Reliability of software with an operational profile

European Journal of Operational Research

Volumn 149, Issue 2, 2003, Pages 459-474

  Ozekici S ^a   Soyer, R ^b  

^a KOÇ UNIVERSITY   (Turkey)

^b GEORGE WASHINGTON UNIVERSITY   (United States)

Author keywords

Bayesian analysis; Markovian analysis; Operational profile; Reliability; Stochastic processes

Indexed keywords

COMPUTER SOFTWARE; MARKOV PROCESSES; RANDOM PROCESSES; RELIABILITY;

OPERATIONAL PROFILE;

OPERATIONS RESEARCH;

EID: 0038522551     PISSN: 03772217     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0377-2217(02)00461-7     Document Type: Conference Paper

References (17)

1. Çinlar E. Introduction to stochastic processes. 1975;Prentice-Hall, Englewood Cliffs, NJ.
2. Çinlar E., Özekici S. Reliability of complex devices in random environments. Probability in the Engineering and Informational Sciences. 1:1987;97-115.
3. Fischer W., Meier-Hellstern K. The Markov-modulated Poisson process cookbook. Performance Evaluation. 18:1992;149-171.
4. Jelinski Z., Moranda P. Software reliability research. Freiberg W. Statistical Computer Performance Evaluation. 1972;465-484 Academic Press, New York.
5. Kingman J.F.C. On doubly stochastic Poisson processes. Proceedings of the Cambridge Philosophical Society. 60:1964;923-960.
6. Kuo L., Yang T.Y. Bayesian computations of software reliability. Journal of Computational and Graphical Statistics. 4:1995;65-82.
7. Moler C., van Loan C. Nineteen dubious ways to compute the exponential of a matrix. SIAM Review. 20:1978;801-836.
8. Musa J.D. Operational profiles in software reliability engineering. IEEE Software. 10:1993;14-32.
9. Musa J.D. The operational profile. Özekici S. Reliability and Maintenance of Complex Systems. NATO ASI Series. vol. F154:1996;332-343 Springer, Berlin.
10. Musa J.D., Iannino A., Okumoto K. Software reliability: Measurement, prediction, application. 1987;McGraw-Hill, New York.
11. Özekici S. Complex systems in random environments. Özekici S. Reliability and Maintenance of Complex Systems. NATO ASI Series. vol. F154:1996;133-157 Springer, Berlin.
12. Özekici S., Altinel I.K., Özçelikyürek S. Testing of software with an operational profile. Naval Research Logistics. 47:2000;620-634.
13. N.D. Singpurwalla, T.A. Mazzuchi, S. Özekici, R. Soyer, Software reliability and the operational profile, Tech. report, GWU/IRRA Series TR-99/1, The George Washington University, Washington, DC 20052, 1999.
14. Singpurwalla N.D., Soyer R. Assessing the reliability of software: An overview. Özekici S. Reliability and Maintenance of Complex Systems. NATO ASI Series. vol. F154:1996;345-367 Springer, Berlin.
15. Whittaker J.A., Poore J.H. Markov analysis of software specifications. ACM Transactions on Software Engineering and Methodology. 2:1993;93-106.
16. Whittaker J.A., Thomason M.G. A Markov chain model for statistical software testing. IEEE Transactions on Software Engineering. 20:1994;812-824.
17. Wohlin C., Runeson P. Certification of software components. IEEE Transactions on Software Engineering. 20:1994;494-499.