Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
A user-oriented reliability modelling approach for web systems
International Journal of Web Engineering and Technology
| Hi-index | 0.00 |
A number of Markov-based software reliability modelshave been developed for measuring software reliability.However, the application of these models is strictly limitedto software that satisfies the Markov properties. Theobjective of our work is to expand the application domainof the Markov-based models, so that most software can bemodeled and software reliability can be measured at thearchitecture level. To overcome the limitations of Markovproperties, our model takes execution history into accountand addresses both deterministic and probabilistic softwarebehaviors. Each state represents the executions ofone or more components depending on the architecturalstyles. In addition, the executions of one component aredepicted by using distinctive states, when such executionsare influenced by past states. Furthermore, we constructloops to eliminate the likelihood of unlimited state expansionand utilize a binomial tree structure to account forall the different execution paths. We show that Markovmodels are applicable even to software that does not fullysatisfy the Markov properties. Therefore, we significantlyimprove the state of the art in architecture-based softwarereliability modeling.