Towards Scenario-Based Testing of UML Diagrams

Petra Brosch; Uwe Egly; S. Gabmeyer; Gertrude Kappel; Martina Seidl; H. Tompits; M. Widl; Manuel Wimmer

Towards Scenario-Based Testing of UML Diagrams

Petra Brosch, Uwe Egly, S. Gabmeyer, Gertrude Kappel, Martina Seidl, H. Tompits, M. Widl, Manuel Wimmer

Institute of Formal Models and Verification

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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

Original language	English
Title of host publication	Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)
Publisher	Springer
Pages	149 - 155
Number of pages	7
Volume	LNCS 7305
ISBN (Print)	978-3-642-30472-9
Publication status	Published - Jun 2012

Publication series

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

102011 Formal languages
102 Computer Sciences
101 Mathematics

JKU Focus areas

Computation in Informatics and Mathematics

Cite this

@inproceedings{1850897de5ed4e85b1179c851f5ac88d,

title = "Towards Scenario-Based Testing of UML Diagrams",

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",

author = "Petra Brosch and Uwe Egly and S. Gabmeyer and Gertrude Kappel and Martina Seidl and H. Tompits and M. Widl and Manuel Wimmer",

year = "2012",

month = jun,

language = "English",

isbn = "978-3-642-30472-9",

volume = "LNCS 7305",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "149 -- 155",

booktitle = "Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)",

}

TY - GEN

T1 - Towards Scenario-Based Testing of UML Diagrams

AU - Brosch, Petra

AU - Egly, Uwe

AU - Gabmeyer, S.

AU - Kappel, Gertrude

AU - Seidl, Martina

AU - Tompits, H.

AU - Widl, M.

AU - Wimmer, Manuel

PY - 2012/6

Y1 - 2012/6

N2 - 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

AB - 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

M3 - Conference proceedings

SN - 978-3-642-30472-9

VL - LNCS 7305

T3 - Lecture Notes in Computer Science (LNCS)

SP - 149

EP - 155

BT - Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)

PB - Springer

ER -