An approach to analyze model based software reliability considering error propagation
Shiyi Kong, Minyan Lu, Biao Xu · 2016
As model-driven development methods attract intensive attention, how to effectively analyze the reliability of software developed by these methods becomes a hot topic, the same as how to ensure high reliability of this software. To estimate reliability accurately in the developing phase, a model-based software reliability analysis approach is proposed. Firstly, a general model-based software reliability analysis framework is introduced. Secondly, traditional Markov model used in reliability fields is modified to adapt to error propagation behaviors of components. Then a study on the transformation between model based on Architecture & Analysis Design Language (AADL) and Markov model has been done. Several rules have been made in this step for automatically transformation. Moreover, a case study, Speed Regulation, is used to prove the feasibility of this approach.