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 9/1-2 - 2003  - pp.213-225  - doi:10.3166/objet.9.1-2.213-225
TITRE
FIDL Spécifications formelles en IDL3

RÉSUMÉ
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.


ABSTRACT
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.


AUTEUR(S)
Arnaud BAILLY, Isabelle RYL, Mireille CLERBOUT

MOTS-CLÉS
composants, test, IDL.

KEYWORDS
component-based software, test, IDL.

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  (142 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
made by WAW Lavoisier