Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00343182
Contributor : Jeanine Souquières Connect in order to contact the contributor
Submitted on : Sunday, November 30, 2008 - 1:23:57 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM

Identifiers

  • HAL Id : hal-00343182, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

100