Towards Scenario-Based Testing of UML Diagrams

  • Petra Brosch
  • Uwe Egly
  • Sebastian Gabmeyer
  • Gerti Kappel
  • Martina Seidl
  • Hans Tompits
  • Magdalena Widl
  • Manuel Wimmer
Conference paper

DOI: 10.1007/978-3-642-30473-6_12

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7305)
Cite this paper as:
Brosch P. et al. (2012) Towards Scenario-Based Testing of UML Diagrams. In: Brucker A.D., Julliand J. (eds) Tests and Proofs. TAP 2012. Lecture Notes in Computer Science, vol 7305. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Petra Brosch
    • 2
  • Uwe Egly
    • 1
  • Sebastian Gabmeyer
    • 2
  • Gerti Kappel
    • 2
  • Martina Seidl
    • 3
  • Hans Tompits
    • 1
  • Magdalena Widl
    • 1
  • Manuel Wimmer
    • 2
  1. 1.Institute for Information SystemsVienna University of TechnologyAustria
  2. 2.Business Informatics GroupVienna University of TechnologyAustria
  3. 3.Institute of Formal Models and VerificationJohannes Kepler UniversityAustria

Personalised recommendations