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

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 towards dynamic learning of the evolving behavior of software, and fault tolerance.

[1]  G. Bolton.  Reliability , 2003, Medical Humanities.

[2]  Norman E. Fenton,et al.  Software Measurement: Uncertainty and Causal Modeling , 2002, IEEE Softw..

[3]  Fei Xie,et al.  An Automata-Theoretic Approach to Hardware/Software Co-verification , 2010, FASE.

[4]  Andrea Arcuri,et al.  Evolutionary repair of faulty software , 2011, Appl. Soft Comput..

[5]  Marcelo Fantinato,et al.  Applying Extended Finite State Machines in Software Testing of Interactive Systems , 2003, DSV-IS.

[6]  Bixin Li,et al.  A classification and comparison of model checking software architecture techniques , 2010, J. Syst. Softw..

[7]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[8]  Ralf H. Reussner,et al.  Reliability prediction for component-based software architectures , 2003, J. Syst. Softw..

[9]  Florentin Ipate.  Learning finite cover automata from queries , 2012, J. Comput. Syst. Sci..

[10]  Ralf H. Reussner,et al.  Towards more Realistic Component Protocol Modelling with Finite State Machines , 2006 .

[11]  Lee J. White.  Testing of Graphical User Interfaces , 2002 .

[12]  L. Brim,et al.  Partial order reduction for state/event LTL with application to component-interaction automata , 2011, Sci. Comput. Program..

[13]  Robert M. Hierons,et al.  Mutation testing from probabilistic and stochastic finite state machines , 2009, J. Syst. Softw..

[14]  Ioannis Parissis,et al.  Automatically testing interactive applications using extended task trees , 2009, J. Log. Algebraic Methods Program..

[15]  Dawn Walker,et al.  A Complex Automata approach for in-stent restenosis: Two-dimensional multiscale modelling and simulations , 2011, J. Comput. Sci..

[16]  Hoang Pham,et al.  An analysis of factors affecting software reliability , 2000, J. Syst. Softw..

[17]  Nicolas Baudru.  Compositional synthesis of asynchronous automata , 2011, Theor. Comput. Sci..

[18]  Nenad Medvidovic,et al.  Probabilistic automata for architecture-based reliability assessment , 2010, QUOVADIS '10.

[19]  Florent Jacquemard,et al.  Rigid tree automata and applications , 2011, Inf. Comput..

[20]  Alexandru Isaic-Maniu,et al.  Reliability and Its Quantitative Measures , 2010 .

[21]  M. Dennis Mickunas,et al.  Automatic error recovery for LR parsers , 1978, CACM.

[22]  M. Qasim Rafiq,et al.  Novel Software Reliability Estimation Model for Altering Paradigms of Software Engineering , 2012 .

[23]  Debanjan Ghosh,et al.  Self-healing systems - survey and synthesis , 2007, Decis. Support Syst..

[24]  Mohammad Zulkernine,et al.  Trustworthiness testing of phishing websites: A behavior model-based approach , 2012, Future Gener. Comput. Syst..

[25]  J. B. Bowles.  A model for assessing computer network reliability , 1989, Proceedings. IEEE Energy and Information Technologies in the Southeast'.

[26]  David J Smith,et al.  Reliability, Maintainability and Risk: Practical Methods for Engineers , 1993 .

[27]  Victor P. Nelson.  Fault-tolerant computing: fundamental concepts , 1990, Computer.

[28]  Valentín Valero,et al.  Validation and verification of Web services choreographies by using timed automata , 2011, J. Log. Algebraic Methods Program..

[29]  James A. Whittaker,et al.  Model‐Based Software Testing , 2002 .

[30]  Sol M. Shatz,et al.  Explicit modeling of semantics associated with composite states in UML statecharts , 2006, Automated Software Engineering.

[31]  James C. Browne,et al.  A Formal Object-Oriented Analysis for Software Reliability: Design for Verification , 2001, FASE.

[32]  Robert M. Hierons,et al.  An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models , 2011, Inf. Softw. Technol..

[33]  Khaled M. S. Faqih.  What is Hampering the Performance of Software Reliability Models? A literature review , 2009 .

[34]  Ferdinand Wagner,et al.  Modeling Software with Finite State Machines , 2006 .

[35]  K. Kandt,et al.  Software design principles and practices , 2003 .

[36]  Haifeng Li,et al.  A Software Reliability Evaluation Method , 2011 .

[37]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[38]  Raymond Nelson,et al.  Brute-Force Comparison : A Monte Carlo Study of the Objective Scoring System version 3 ( OSS-3 ) and Human Polygraph Scorers , 2008 .

[39]  Jose Emmanuel Ramirez-Marquez,et al.  Reliability analysis of cluster-based ad-hoc networks , 2008, Reliab. Eng. Syst. Saf..

[40]  S. Gokhale.  ACCURATE RELIABILITY PREDICTION BASED ON SOFTWARE STRUCTURE , 2004 .

[41]  Dov M. Gabbay,et al.  Reactive automata , 2011, Inf. Comput..

[42]  Jörg Kienzle,et al.  Model-driven assessment of system dependability , 2008, Software & Systems Modeling.