Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants
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.
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.
I.MOUAKHER, J.SOUQUIÈRES, F.ALEXANDRE
analyse d'erreurs, diagnostic d'erreurs, correction, vérification de protocoles, spécification, approche composants, assemblage.
error analysis, error diagnosis, correction, protocol verification, specification, component-based approach, assembly.
Français
|
