Reliability of software with an operational profile

Abstract This article provides the stochastic and statistical framework to model software reliability in the presence of an operational profile. The software system is used under a randomly changing operational process so that the failure characteristics depend on the specific operation performed. The operational process describes, in a probabilistic sense, how the software is utilized by the users. The time to failure distribution for each fault is exponentially distributed with a rate that depends on the operation. As soon as a failure is experienced, the fault that caused the fault is removed immediately with certainty. We discuss several issues related to software reliability and statistical inference.

[1]  Jesse H. Poore,et al.  Markov analysis of software specifications , 1993, TSEM.

[2]  John D. Musa,et al.  The operational profile , 1996 .

[3]  Sleyman zekici,et al.  Testing of software with an operational profile , 2000 .

[4]  Z. Jelinski,et al.  Software reliability Research , 1972, Statistical Computer Performance Evaluation.

[5]  Shlomo Nir,et al.  NATO ASI Series , 1995 .

[6]  James A. Whittaker,et al.  A Markov Chain Model for Statistical Software Testing , 1994, IEEE Trans. Software Eng..

[7]  Süleyman Özekici,et al.  Reliability of Complex Devices in Random Environments. , 1987 .

[8]  Erhan Çinlar,et al.  Introduction to stochastic processes , 1974 .

[10]  Wolfgang Fischer,et al.  The Markov-Modulated Poisson Process (MMPP) Cookbook , 1993, Perform. Evaluation.

[11]  Lynn Kuo,et al.  Bayesian Computation of Software Reliability , 1995 .

[12]  Claes Wohlin,et al.  Certification of Software Components , 1994, IEEE Trans. Software Eng..

[13]  Nozer D. Singpurwalla,et al.  Assessing the Reliability of Software: An Overview , 1996 .

[14]  John D. Musa,et al.  Software reliability measurement , 1984, J. Syst. Softw..

[15]  Walter Freiberger,et al.  Statistical Computer Performance Evaluation , 1972 .

[16]  Süleyman Özekici,et al.  Complex Systems in Random Environments , 1996 .

[17]  John D. Musa,et al.  Operational profiles in software-reliability engineering , 1993, IEEE Software.

[18]  J. Kingman.  On doubly stochastic Poisson processes , 1964, Mathematical Proceedings of the Cambridge Philosophical Society.

[19]  C. Loan,et al.  Nineteen Dubious Ways to Compute the Exponential of a Matrix , 1978 .

[20]  John D. Musa,et al.  Software reliability - measurement, prediction, application , 1987, McGraw-Hill series in software engineering and technology.