A Counting Model For Software Reliability Analysis
James Ledoux, Gerardo Rubino · International Journal of Modelling and Simulation · 1997
Structural reliability models suffer from some drawbacks mainly related to the assumptions necessary to apply them. We discuss an approach that can make the usual Markovian assumptions more realistic when one is considering the structural modelling of the execution process. We also define a failure process allowing one to model different and general situations, and we give analytic results and algorithmic methods to perform the corresponding quantitative evaluations, supported by a numerical example. We show that our model and the obtained results include as particular cases some previous Proposed models. We also discuss about some interesting asymptotic properties of the model.