Automata-Based Software Reliability Model: The Key to Reliable Software

Ritika Wason, P. Ahmed, M. Qasim Rafiq
2013 International Journal of Software Engineering and Its Applications  
In this paper, we critically analyze the success of the traditional reliability models built to measure and estimate software reliability. We further propose that a Finite State Automata (FSA) based reliability model can serve as a befitting solution to all existing software reliability challenges. The proposed model estimates actual system reliability at runtime. The main advantage of this model is that it allows authentic or real-time reliability estimation, prediction and can also be trained
more » ... can also be trained towards dynamic learning of the evolving behavior of software, and fault tolerance. 112 Copyright ⓒ 2013 SERSC between states. In this paper we propose and advocate an automata-based reliability model as an accurate reliability estimation tool for executable software systems. The remainder of this paper is organized as follows. Section 2 discusses the problems and issues cursing software reliability modeling science. Section 3 introduces the formal finite state machine model and discusses its applications in software systems. Section 4 analyzes the traditional reliability models and enlists the major causes for their inaccuracy. Section 5 traces the different extensions and applications of finite state machine (FSM) models in designing and testing reliable software systems. Section 6 compares the traditional reliability models over automata-based alternatives and establishes the effectiveness of the latter. Section 7 discusses the automata-based reliability model by explaining the basics of the proposed model. The section also makes some future predictions regarding the growth and acceptability of automata-based models as an absolute technique to model reliable systems. Section 8 concludes the discussion by suggesting some future research trends in this domain.
doi:10.14257/ijseia.2013.7.6.10 fatcat:n7wb6wadmrh3vnosuctyvsassi