ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 14/4 - 2008  - pp.11-42  - doi:10.3166/obj.14.4.11-42
TITRE
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.


ABSTRACT
We propose to help in the diagnostic and the correction of specifications starting from the results of verifcation tools. The approach is validated in the framework of developing specifications by the assembly of components and the verification of the interoperability on the protocol level between the different components, without modifying or substituying these components. Specifications are expressed in terms of UML diagrams and transformed into B specifications, allowing to use their associated proof tools. The correction is guided, taking into account an error typology, a possible bad usage of a component, the non conformity between the different system specifications and the responsible component of the diagnosed error.


AUTEUR(S)
Inès MOUAKHER, Jeanine SOUQUIÈRES, Francis ALEXANDRE

MOTS-CLÉS
analyse d'erreurs, diagnostic d'erreurs, correction, vérification de protocoles, spécification, approche composants, assemblage.

KEYWORDS
error analysis, error diagnosis, correction, protocol verification, specification, component-based approach, assembly.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (604 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier