FIDL Spécifications formelles en IDL3
Nous présentons dans cet article nos travaux sur le langage FIDL --- Formal Interface d'appliquer ce langage de spécification au test unitaire de composants. La première partie de cet article définit le modèle général de composants sous-jacent à la notation FIDL, modèle pour CORBA, J2EE pour Java. La seconde partie introduit la syntaxe et la sémantique du langage FIDL, cette dernière étant exprimée en termes d'ensembles de traces. La troisième partie présente la méthodologie de test basée sur FIDL que nous avons prototypée.
This paper summarizes our ongoing work on the specification language FIDL -components. The first part describes informally the component model we use, based on current mainstream models such as the Corba Component Model and the J2EE Specification. The part sketches the design and implementation of our test automation platform.
A.BAILLY, I.RYL, M.CLERBOUT
composants, test, IDL.
component-based software, test, IDL.
Français
|
