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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-00794313
Contributor : Jean-Marc Jézéquel <>
Submitted on : Monday, February 25, 2013 - 4:31:17 PM
Last modification on : Saturday, December 15, 2018 - 1:49:26 AM
Long-term archiving on : Sunday, April 2, 2017 - 4:55:44 AM

File

Dubousquet01a.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

596

Files downloads

156