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 Access content directly
Reports (Research Report) Year : 2001

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

Abstract

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.
Fichier principal
Vignette du fichier
RR-4296.pdf (287.34 Ko) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : inria-00072291 , version 1

Cite

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 View
1259 Download

Share

Gmail Facebook Twitter LinkedIn More