Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composants - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue RTSI - L'Objet Année : 2008

Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composants

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.
Fichier non déposé

Dates et versions

hal-00343182 , version 1 (30-11-2008)

Identifiants

  • HAL Id : hal-00343182 , version 1

Citer

Inès Mouakher, Jeanine Souquières, Francis Alexandre. Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composants. RTSI - L'Objet, 2008, 14, pp.11--42. ⟨hal-00343182⟩
157 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More