Constellation, le dépôt institutionnel de l'Université du Québec à Chicoutimi

Résumé

L'analyse des traces d'événements permet d'identifier des erreurs dans l'exécution du système ou la violation de certaines politiques. Le principe de cette analyse consiste à vérifier si un système respecte un contrat donné.

Un "contrat d'interface" est une définition formelle de ce qui constitue une interaction valide avec un système particulier. Bien qu'ils ne soient pas toujours nommés ainsi, de tels contrats existent sous de nombreuses formes dans un grand nombre de domaines. Par exemple, la séquence de messages HTTP acceptés par un service web définit un protocole qui peut être formalisé sous forme de contrat. De la même manière, le concept peut être appliqué en programmation orientée-objet pour spécifier les séquences valides d'appels de méthodes d'une classe, ou plus généralement pour décrire n'importe quelle séquence d'événements générée par un système. Plusieurs formalismes, d'expressivité variable, existent pour exprimer un contrat.

Dans la dernière décennie, plusieurs outils et algorithmes d'analyse des traces d'événements ont été développés par des chercheurs. La plupart de ces outils sont mal documentés en ce qui a trait à leur performance. De plus, la mémoire et le temps consommés varient beaucoup d'un scénario à un autre sans qu'il existe un consensus à savoir quelle méthode fonctionne le mieux. L'objectif de ce mémoire est de pallier à ce manque et de comparer divers outils d'analyse de traces sur divers jeux des données.

Ce mémoire de maitrise apporte des solutions à la problématique énoncé. Une interface graphique, appelée BabelTrace, a été implémentée pour résoudre ses problèmes. Une comparaison entre l'ensemble des outils étudiés dans ce mémoire, sur des scénarios réalistes, a montré que les meilleures performances sont obtenues en utilisant l'outil Monpoly. Enfin, lés systèmes de gestion de base de données ont donné de bons résultats en les comparant avec les model checker tels que SPIN et NuSMV.