Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

UML
2001
Springer

favoriteEmaildiscussreport

124views Natural Language Processing» more UML 2001»

Conformance Testing from UML Specifications. Experience Report

13 years 9 months ago

Conformance Testing from UML Specifications. Experience Report

Download www.gemplus.com

: 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.

Lydie du Bousquet, Hugues Martin, Jean-Marc J&eacu

Real-time Traffic

Case Study | Conformance Test Suites | Natural Language Processing | Tools | UML 2001 |

claim paper

Related Content

» Runtime conformance checking of mobile and distributed systems using executable models

» The Compliance Testing of Software Tools with Respect to the UML Standards Specification ...

» On Test Derivation from Partial Specifications

» UMLbased design test generation

» The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes

» Test Data Generation from UML State Machine Diagrams using GAs

» LSC Verification for UML Models with Unbounded Creation and Destruction

» An MDABased Model for Vertical Application Task Forces An Experience Report

» Enabling Verifiable Conformance for Product Lines

Post Info
More Details (n/a)

Added	30 Jul 2010
Updated	30 Jul 2010
Type	Conference
Year	2001
Where	UML
Authors	Lydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel

Comments (0)