Graph transformations for model-based testing
| dc.contributor.author | Conrad, Mirko | |
| dc.contributor.author | Dörr, Heiko | |
| dc.contributor.author | Stürmer, Ingo | |
| dc.contributor.author | Schürr, Andy | |
| dc.contributor.editor | Glinz, Martin | |
| dc.contributor.editor | Müller-Luschnat, Günther | |
| dc.date.accessioned | 2019-12-13T08:57:13Z | |
| dc.date.available | 2019-12-13T08:57:13Z | |
| dc.date.issued | 2002 | |
| dc.description.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 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. | en |
| dc.identifier.isbn | 3-88579-342-3 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/30663 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Modellierung 2002, Modellierung in der Praxis – Modellierung für die Praxis | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-12 | |
| dc.title | Graph transformations for model-based testing | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 50 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 39 | |
| gi.conference.date | 25.-27. März 2002 | |
| gi.conference.location | Tutzing | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1