Conformance testing from UML specifications. Experience Report

Lydie Du Bousquet 1, 2 Hugues Martin 1 Jean-Marc Jézéquel 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 LIG Laboratoire d'Informatique de Grenoble - VASCO
LIG - Laboratoire d'Informatique de Grenoble
Abstract : UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conformance test suites for protocols. Both tools are connected so that it is possible to specify an application in UML and derive automatically some test cases. In this article, the integration of those tools in an industrial process is evaluated through a case study. This case study, proposed by Gemplus, is a Java Card applet: a classical electronic purse.
Type de document :
Communication dans un congrès
Lecture Notes in Informatics (LNI), Oct 2001, Dortmund, Germany. 2001
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00794313
Contributeur : Jean-Marc Jézéquel <>
Soumis le : lundi 25 février 2013 - 16:31:17
Dernière modification le : mercredi 11 avril 2018 - 02:01:09
Document(s) archivé(s) le : dimanche 2 avril 2017 - 04:55:44

Fichier

Dubousquet01a.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00794313, version 1

Citation

Lydie Du Bousquet, Hugues Martin, Jean-Marc Jézéquel. Conformance testing from UML specifications. Experience Report. Lecture Notes in Informatics (LNI), Oct 2001, Dortmund, Germany. 2001. 〈hal-00794313〉

Partager

Métriques

Consultations de la notice

440

Téléchargements de fichiers

133