Towards scenario-based testing of UML diagrams

Authors:
Petra Brosch;Uwe Egly;Sebastian Gabmeyer;Gerti Kappel;Martina Seidl;Hans Tompits;Magdalena Widl;Manuel Wimmer
Affiliations:
Business Informatics Group, Vienna University of Technology, Austria;Institute for Information Systems, Vienna University of Technology, Austria;Business Informatics Group, Vienna University of Technology, Austria;Business Informatics Group, Vienna University of Technology, Austria;Institute of Formal Models and Verification, Johannes Kepler University, Austria;Institute for Information Systems, Vienna University of Technology, Austria;Institute for Information Systems, Vienna University of Technology, Austria;Business Informatics Group, Vienna University of Technology, Austria
Venue:
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Year:
2012

Citing 11
Cited 1

The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Generating statechart designs from scenarios

Proceedings of the 22nd international conference on Software engineering
Synthesis of Behavioral Models from Scenarios

IEEE Transactions on Software Engineering
Principles of Model Checking (Representation and Mind Series)

Principles of Model Checking (Representation and Mind Series)
Behavior, Time and Viewpoint Consistency: Three Challenges for MDE

Models in Software Engineering
CHARMY: A Framework for Designing and Verifying Architectural Specifications

IEEE Transactions on Software Engineering
Model checking of UML 2.0 interactions

MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
UML formal semantics: lessons learned

Software and Systems Modeling (SoSyM)
A fully abstract semantics for UML components

FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Consistency checking of concurrent models for scenario-based specifications

SDL'05 Proceedings of the 12th international conference on Model Driven
Proving and explaining the unfeasibility of message sequence charts for hybrid systems

Proceedings of the International Conference on Formal Methods in Computer-Aided Design

Towards domain-specific property languages: the ProMoBox approach

Proceedings of the 2013 ACM workshop on Domain-specific modeling

Quantified Score

Hi-index	0.00

Visualization

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.