Abstract | ||
---|---|---|
In model-driven engineering, models are not primarily developed for documentation and requirement specification purposes, but promoted to first-class artifacts, from which executable code is generated. As a consequence, typical development activities like testing must be performed on the model level. In this paper, we propose to use overlapping information inherent in multiple views of models for automatic testing. Using a prototype based on the model checker Spin we show the feasibility of this approach and identify future challenges. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-30473-6_12 | TAP |
Keywords | Field | DocType |
multiple view,future challenge,model checker,towards scenario-based testing,overlapping information,model level,model-driven engineering,uml diagram,first-class artifact,executable code,requirement specification purpose,automatic testing | Sequence diagram,Model checking,Unified Modeling Language,Computer science,Simulation,Finite-state machine,Scenario testing,Message sequence chart,Documentation,Executable | Conference |
Citations | PageRank | References |
9 | 0.55 | 13 |
Authors | ||
8 |
Name | Order | Citations | PageRank |
---|---|---|---|
Petra Brosch | 1 | 214 | 17.97 |
Uwe Egly | 2 | 544 | 45.57 |
Sebastian Gabmeyer | 3 | 47 | 6.74 |
Gerti Kappel | 4 | 1575 | 349.41 |
Martina Seidl | 5 | 685 | 51.78 |
Hans Tompits | 6 | 1916 | 97.73 |
Magdalena Widl | 7 | 60 | 5.88 |
Manuel Wimmer | 8 | 1617 | 130.11 |