Conformance testing from UML specifications. Experience Report - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2001

Conformance testing from UML specifications. Experience Report

Résumé

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.

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
Dubousquet01a.pdf (118.64 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Jean-Marc Jézéquel  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00794313

Soumis le : lundi 25 février 2013-16:31:17

Dernière modification le : lundi 9 décembre 2024-03:22:15

Archivage à long terme le : dimanche 2 avril 2017-04:55:44

Télécharger pour visualiser

Dates et versions

hal-00794313 , version 1 (25-02-2013)

Identifiants

  • HAL Id : hal-00794313 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS UNIV-RENNES1 UGA CNRS INRIA INSA-RENNES IRISA LIG IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM LIG_SIDCH
323 Consultations
154 Téléchargements

Partager

More