HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 8:19:31 PM
Last modification on : Friday, February 4, 2022 - 3:22:06 AM
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

114

Files downloads

1238