Conformance testing from UML specifications experience report1
Zusammenfassung
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.
- Vollständige Referenz
- BibTeX
Bousquet, L. d., Martin, H. & Jézéquel, J.-M.,
(2001).
Conformance testing from UML specifications experience report1.
In:
Evans, A., France, R. B., Moreira, A. M. & Rumpe, B.
(Hrsg.),
Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001.
Bonn:
(S. 43-55).
@inproceedings{mci/Bousquet2001,
author = {Bousquet, Lydie du AND Martin, Hugues AND Jézéquel, Jean-Marc},
title = {Conformance testing from UML specifications experience report1},
booktitle = {Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001},
year = {2001},
editor = {Evans, Andy AND France, Robert B. AND Moreira, Ana M. D. AND Rumpe, Bernhard} ,
pages = { 43-55 },
publisher = {},
address = {Bonn}
}
author = {Bousquet, Lydie du AND Martin, Hugues AND Jézéquel, Jean-Marc},
title = {Conformance testing from UML specifications experience report1},
booktitle = {Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001},
year = {2001},
editor = {Evans, Andy AND France, Robert B. AND Moreira, Ana M. D. AND Rumpe, Bernhard} ,
pages = { 43-55 },
publisher = {},
address = {Bonn}
}
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISBN: 3-88579-335-0
ISSN: 1617-5468
Datum: 2001
Sprache:
(en)
(en)
Typ: Text/Conference Paper

