Browse > Article

A Quantitative Analysis Theory for Reliability of Software  

Cho, Yong-Soon (성균관대학교 컴퓨터공학과)
Youn, Hyun-Sang (성균관대학교 컴퓨터공학과)
Lee, Eun-Seok (성균관대학교 정보통신공학부)
Abstract
A reliability of software is a type of nonfunctional requirement. Traditionally, a validation of the reliability is processed at the integration phase in software development life cycle. However, it increases the cost and the risk for the development. In this paper, we propose reliability analysis method based on mathematical analytic model at the architecture design phase of the development process as follows. First, we propose the software modeling methodology for reliability analysis using Hierarchical combined Queueing Petri Nets(HQPN). Second, we derive the Markov Reward Model from the HQPN based model. We apply our approach to the video conference system to verify the usefulness of our approach. Our approach supports quantitative evaluation of the reliability.
Keywords
Hierarchically Combined Queueing Petri Nets; Markov Reward Model; Reliability; Reward rate; Reliability Analysis;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Ian Sommervile, “Software Engineering 8th,” Addison Wesely, 2006
2 Falko Bause, Peter Buchholz, and Peter Kemper, “Hierarchically Combined Queueing Petri Nets,” Lecture Notes in Control Information Sciences, vol.199, pp.176-182, 1994   DOI
3 Samuel Kounev, and Christofer Dutz, “QPME 1.0-Queueing Petri net Modeling Environment User's guide; A software tool for performance modeling and analysis using Queueing Petri Nets,” QPME 1.0 User's Guide, 2007
4 Jeongmin Park, Joonhoon Lee, and Eunseok Lee, “Goal graph based Performance Improvement for Self-Adaptive Modules,” ACM SIGKDD International Conference on Ubiquitous Information Management and Communication(ACM SIGKDD ICUIMC 2008), pp.68-72, 2008   DOI
5 Samuel Kounev, "Performance Modeling and Eva-luation of Distributed component-Based Systems Using Queueing Petri Nets,” IEEE Trans. on Soft-ware Engineering, pp.486-502, 2006   DOI   ScienceOn
6 Katerina Goseva-Popstojanova, and Kishor S. Trivedi, “Stochastic Modeling Formalisms for De-pendability, Performance and Performability,” Lec-ture Notes In Computer Science, pp.403-422, 2000
7 Katerina Goseva-Popstojanova, and Kishor S. Trivedi, “Stochastic Modeling Formalisms for Depen-dability, Performance and Performability,” Lecture Notes in Computer Science, vol.1769, pp.403-422, 2000   DOI