Petra Brosch, Uwe Egly, S. Gabmeyer, Gertrude Kappel, Martina Seidl, H. Tompits, M. Widl, Manuel Wimmer,
"Towards Scenario-Based Testing of UML Diagrams"
: Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012), Serie Lecture Notes in Computer Science (LNCS), Vol. LNCS 7305, Springer, Seite(n) 149 - 155, 6-2012, ISBN: 978-3-642-30472-9
Original Titel:
Towards Scenario-Based Testing of UML Diagrams
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)
Original Kurzfassung:
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
Forschungs-