Testing Functional Requirements in UML Activity Diagrams
- 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
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.
KeywordsFunctional testing UML activity diagrams fUML
Unable to display preview. Download preview PDF.