Skip to Main content Skip to Navigation
Conference papers

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 VASCO - Validation de Systèmes, Composants et Objets logiciels
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Jean-Marc Jézéquel Connect in order to contact the contributor
Submitted on : Monday, February 25, 2013 - 4:31:17 PM
Last modification on : Wednesday, July 6, 2022 - 4:13:20 AM
Long-term archiving on: : Sunday, April 2, 2017 - 4:55:44 AM


Files produced by the author(s)


  • HAL Id : hal-00794313, version 1


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. ⟨hal-00794313⟩



Record views


Files downloads