• Français
    • English
  • Français 
    • Français
    • English
  • Login
View Document 
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of Savoirs UdeSDomains & CollectionsBy Issue DateAuthorsTitlesSubjectsDirectorsThis CollectionBy Issue DateAuthorsTitlesSubjectsDirectors

My Account

Login

Statistics

View Usage Statistics

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

Thumbnail
View/Open
MR49545.pdf (720.5Kb)
Publication date
2008
Author(s)
Milhau, Jérémy
Show full document record
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.
URI
http://savoirs.usherbrooke.ca/handle/11143/4795
Collection
  • Sciences – Mémoires [1657]

DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
 

 


DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback