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.