Graph transformations for model-based testing

Zusammenfassung
Model-based development uses modeling and simulation as essential means for specification, rapid prototyping, design, and realization of embedded systems. The classification-tree method complements model-based development with a formal approach for test case description and automation. This paper shows how "raw" classification trees are transformed into complete classificati- on trees using an extensible tool, the classification-tree transformer (CTT). This tool and its domain specific extensions are generated using the graph rewriting system PROGRES.
  • Vollständige Referenz
  • BibTeX
Conrad, M., Dörr, H., Stürmer, I. & Schürr, A., (2002). Graph transformations for model-based testing. In: Glinz, M. & Müller-Luschnat, G. (Hrsg.), Modellierung 2002, Modellierung in der Praxis – Modellierung für die Praxis. Bonn: Gesellschaft für Informatik e.V.. (S. 39-50).
@inproceedings{mci/Conrad2002,
author = {Conrad, Mirko AND Dörr, Heiko AND Stürmer, Ingo AND Schürr, Andy},
title = {Graph transformations for model-based testing},
booktitle = {Modellierung 2002, Modellierung in der Praxis – Modellierung für die Praxis},
year = {2002},
editor = {Glinz, Martin AND Müller-Luschnat, Günther} ,
pages = { 39-50 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
4.pdf188.2Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 3-88579-342-3
ISSN: 1617-5468
Datum: 2002
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige