A Counting model for software reliability analysis - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1993

A Counting model for software reliability analysis

James Ledoux
Gerardo Rubino
  • Fonction : Auteur
  • PersonId : 833479

Résumé

Structural reliability models suffer from some drawbacks mainly related to the assumptions necessary to apply them. We propose a model which intends to overcome some of these limitations appearing in previous published works. 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. 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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-2060.pdf (244.94 Ko) Télécharger le fichier

Dates et versions

inria-00074612 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074612 , version 1

Citer

James Ledoux, Gerardo Rubino. A Counting model for software reliability analysis. [Research Report] RR-2060, INRIA. 1993. ⟨inria-00074612⟩
232 Consultations
214 Téléchargements

Partager

Gmail Facebook X LinkedIn More