Skip to Main content Skip to Navigation
Reports

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

Hélène Le Guen 1 Raymond Marie 1
1 ARMOR - Architectures and network models
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes, Ecole Nationale Supérieure des Télécommunications de Bretagne
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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00072291
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 8:19:31 PM
Last modification on : Thursday, February 11, 2021 - 2:48:03 PM
Long-term archiving on: : Sunday, April 4, 2010 - 11:02:25 PM

Identifiers

  • HAL Id : inria-00072291, version 1

Citation

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⟩

Share

Metrics

Record views

313

Files downloads

1785