Génération automatique de messages d'erreur pour l'exécution symbolique d'expressions de processus EB[exposant]3

Abstract

Dans le cadre des systèmes d'information générés automatiquement à partir de spécifications formelles EB[exposant]3 (selon la méthode APIS), les concepteurs de systèmes se heurtent à plusieurs difficultés. Il n'est notamment pas possible de proposer à l'avance un message d'erreur spécifique pour chacune des exécutions invalides pouvant survenir pendant la durée de vie du système. En effet, une description exhaustive de toutes les erreurs possibles d'un système d'information, et l'écriture d'un message d'erreur adapté pour chacune d'elles est un travail long et exigeant, souvent mis de côté dans les méthodes de développement traditionnelles. Or, les messages d'erreur sont une source d'aide non négligeable pour les utilisateurs d'un système d'information; les retirer serait préjudiciable à la prise en main et à la compréhension du système par ses utilisateurs. De ce fait, une méthode de génération automatique de messages d'erreur à partir de spécifications formelles EB[exposant]3 permettant d'intégrer des informations sur l'état du système ainsi que les causes de l'erreur semble adaptée tant à l'esprit de la méthode APIS qu'à la nécessité de proposer une réponse à l'utilisateur pour ses requêtes invalides. Ce mémoire présente une méthode de génération automatique de messages d'erreur à partir de spécifications formelles EB[exposant]3. Afin de produire un message d'erreur, une analyse de l'état du système est effectuée pour déterminer quelle est l'origine de l'erreur; une étude de la source de l'erreur est menée pour en déduire une structure de message d'erreur; l'intégration de données relatives au contexte d'exécution est ensuite faite sur cette structure et enfin un message de diagnostic est proposé en complément du message d'erreur.