hal-00343182, version 1
Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composants
RTSI - L'Objet 14 (2008) 11--42
Résumé : Nous proposons une aide au diagnostic et à la correction de spécifications à partir du retour des outils de vérification. L'approche est validée dans le cadre du développement de spécifications par assemblage de composants et de la vérification de l'interopérabilité sur le plan des protocoles entre les différents composants utilisés, ceux-ci n'étant ni modifiés, ni substitués. Les spécifications sont décrites en termes de diagrammes UML qui sont ensuite transformés en B, permettant de disposer des outils de vérification associés. La correction prend en compte une typologie des erreurs, une mauvaise utilisation possible d'un composant, la non conformité entre les différentes spécifications du système et le composant responsable de l'erreur diagnostiquée.
- 1 :
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
- 2 :
- Faculté des Sciences de Tunis
- Domaine : Informatique/Génie logiciel
- Mots-clés : Analyse d'erreurs – diagnostic d'erreurs – correction – vérification de protocoles – spécification – approche composants – assemblage
- Commentaire : 32
- hal-00343182, version 1
- http://hal.archives-ouvertes.fr/hal-00343182
- oai:hal.archives-ouvertes.fr:hal-00343182
- Contributeur :
- Soumis le : Dimanche 30 Novembre 2008, 13:23:57
- Dernière modification le : Dimanche 21 Décembre 2008, 06:26:18
Exporter