Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the łeUML\ge2001, October 1st, 2001 in Toronto, Canada. P-07, 43-55 (2001).

GI, Gesellschaft für Informatik, Bonn


Andy Evans (ed.), Robert B. France (ed.), Ana M. D. Moreira (ed.), Bernhard Rumpe (ed.)

Copyright © GI, Gesellschaft für Informatik, Bonn


Conformance testing from UML specifications. Experience report

Lydie Bousquet , Hugues Martin and Jean-Marc Jézéquel


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.

Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-335-0

Last changed 04.10.2013 17:52:55