A counting model for software reliability analysis
Ledoux, James ; Rubino, Gerardo
HAL, hal-00856187 / Harvested from HAL
Text on HAL
Structural reliability models suffer from some drawbacks mainly related to the assumptions necessary to apply them. We discuss on an approach that can make more realistic the usual Markovian assumptions when considering the structural modeling of the execution process. Moreover, we define a failure process allowing to model different and general situations and we give analytic results and algorithmic methods to perform the corresponding quantitative evaluations which are 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.
Publié le : 1997-07-05
Classification:  Software Reliability,  Markov Processes,  Counting Processes,  Uniformization Technique,  [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation,  [MATH.MATH-PR]Mathematics [math]/Probability [math.PR] 
@article{hal-00856187,
     author = {Ledoux, James and Rubino, Gerardo},
     title = {A counting model for software reliability analysis},
     journal = {HAL},
     volume = {1997},
     number = {0},
     year = {1997},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00856187}
}

Ledoux, James; Rubino, Gerardo. A counting model for software reliability analysis. HAL, Tome 1997 (1997) no. 0, . http://gdmltest.u-ga.fr/item/hal-00856187/