Calcul des probabilités de visite dans les chaînes de Markov réductibles selon les composantes fortement connexes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2001

Calcul des probabilités de visite dans les chaînes de Markov réductibles selon les composantes fortement connexes

Résumé

Dans le cadre de l'étude du test de logiciel nous avons été amenés à modéliser le comportement du logiciel par une chaîne de Markov à temps discret (CMTD) et à nous intéresser à la probabilité qu'un état de la chaîne soit visité au cours d'une exécution du logiciel. Pour pouvoir adapter ce calcul à des chaînes comportant un grand nombre d'états, nous avons développé une technique de décomposition basée sur l'utilisation des composantes fortement connexes. Ce rapport présente la méthodologie employée et des exemples numériques démontrant l'efficacité de l'approche.

Domaines

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

Dates et versions

inria-00072291 , version 1 (23-05-2006)

Identifiants

  • HAL Id : inria-00072291 , version 1

Citer

Hélène Le Guen, Raymond Marie. Calcul des probabilités de visite dans les chaînes de Markov réductibles selon les composantes fortement connexes. [Rapport de recherche] RR-4296, INRIA. 2001. ⟨inria-00072291⟩
120 Consultations
1319 Téléchargements

Partager

Gmail Facebook X LinkedIn More