Testing Functional Requirements in UML Activity Diagrams

  • Stefan Mijatov
  • Tanja Mayerhofer
  • Philip Langer
  • Gerti Kappel
Conference paper

DOI: 10.1007/978-3-319-21215-9_11

Volume 9154 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Mijatov S., Mayerhofer T., Langer P., Kappel G. (2015) Testing Functional Requirements in UML Activity Diagrams. In: Blanchette J., Kosmatov N. (eds) Tests and Proofs. TAP 2015. Lecture Notes in Computer Science, vol 9154. Springer, Cham

Abstract

In model driven engineering (MDE), models constitute the main artifacts of the software development process. From models defining structural and behavioral aspects of a software system implementation artifacts, such as source code, are automatically generated using model transformation techniques. However, a crucial issue in MDE is the quality of models, as any defect not captured at model level is transferred to the code level, where it requires more time and effort to be detected and corrected. This work is concerned with testing the functional correctness of models created with a subset of UML called fUML comprising class and activity diagrams. We present a testing framework for fUML, which enables modelers to verify the correct behavior of fUML activities.

Keywords

Functional testing UML activity diagrams fUML 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Stefan Mijatov
    • 1
  • Tanja Mayerhofer
    • 1
  • Philip Langer
    • 1
  • Gerti Kappel
    • 1
  1. 1.Business Informatics GroupVienna University of TechnologyViennaAustria