Abstract
Most of software reliability growth models proposed so far have been constructed by assuming that the time for fault removal is negligible and that all detected faults are corrected with certainty and other faults are not introduced in the software system when the corrective activities are performed. However, these assumptions do not reflect the real testing environment of the software development process and operation environment. We develop a software availability model incorporating a positive fault-correction time and uncertainty of the fault-correction activities. Then, we assume that the hazard rate for software-failure occurrence reduces geometrically with the progress in the fault-removal process. On the assumption that the software system alternates between the operational state and the maintenance state, the time-dependent behavior of the software system is modeled with a Markov process. Expressions for several quantities of software system performance are derived from this model. Finally, numerical examples are presented for illustration of software availability measurement and assessment.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Goel, A.L. (1985), “Software reliability models: Assumptions, limitations, and applicability,” IEEE Trans. Software Engineering SE-11, 1411–1423.
Kim, J.H., Kim, Y.H. and Park, C.J. (1982), “A modified Markov model for the estimation of computer software performance,” Operations Research Letters 1,253–257.
Moranda, P.B. (1979), “Event-altered rate models for general reliability analysis,” IEEE Trans. Reliability R-28, 376–381.
Musa, J.D., Iannino, A. and Okumoto, K. (1987), Software Reliability: Measurement,Prediction, Application, McGraw-Hill, New York.
Musa, J.D. and Okumoto, K. (1984), “A logarithmic Poisson execution time model for software reliability measurement,” Proc. 7th Int. Conf. Software Engineering, 230–238.
Musa, J.D. and Okumoto, K. (1986) “Application of basic and logarithmic Poisson execution time models in software reliability measurement,” in Software System Design Methods, Skwirzynski, J.K. (ed.) (NATO ASI Series, vol. F22), 275–298, Springer-Verlag, Berlin.
Okumoto, K. and Goel, A.L. (1978), “Availability and other performance measures for system under imperfect maintenance,” Proc. COMPSAC ‘78, 66–71.
Ross, S.M. (1983), Stochastic Processes, John Wiley & Sons, New York.
Shooman, M.L. (1983), Software Engineering: Design,Reliability, and Management, McGraw-Hill, New York.
Tokuno, K. and Yamada, S. (1995), “A Markovian software availability measurement with a geometrically decreasing failure-occurrence rate,” IEICE Trans. Fundamentals E78-A, 737–741.
Yamada, S. (1991), “Software quality/reliability measurement and assessment: Software reliability growth models and data analysis,” J. Information Processing 14, 254–266.
Yamada, S. (1994), Software Reliability Models: Fundamentals and Applications (in Japanese), JUSE Press, Tokyo.
Yamada, S. and Takahashi, M. (1993), Introduction to Software Management Model (in Japanese), Kyoritsu-Shuppan, Tokyo.
Yamada, S., Tokuno, K. and Osaki, S. (1993), “Software reliability measurement in imperfect debugging environment and its application,” Reliability Engineering and System Safety 40, 139–147.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tokuno, K., Yamada, S. (1997). Markovian Software Availability Modeling for Performance Evaluation. In: Christer, A.H., Osaki, S., Thomas, L.C. (eds) Stochastic Modelling in Innovative Manufacturing. Lecture Notes in Economics and Mathematical Systems, vol 445. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59105-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-59105-1_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61768-6
Online ISBN: 978-3-642-59105-1
eBook Packages: Springer Book Archive