Graph Transformations for Model-based Testing
Mirko Conrad, Heiko Dörr, Ingo Stürmer, Andy Schürr · 2002
Abstract: 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 classification 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. 1.