Logo des Repositoriums
 
Konferenzbeitrag

Graph transformations for model-based testing

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2002

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

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.

Beschreibung

Conrad, Mirko; Dörr, Heiko; Stürmer, Ingo; Schürr, Andy (2002): Graph transformations for model-based testing. Modellierung 2002, Modellierung in der Praxis – Modellierung für die Praxis. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-342-3. pp. 39-50. Regular Research Papers. Tutzing. 25.-27. März 2002

Schlagwörter

Zitierform

DOI

Tags