Test Case Generation using Model Transformations

Dennis Neumann


Despite a lot of effort in recent research, testing of software systems is still performed manually most of the time without taking the advantages of Model Driven Development. Such advantages include improved exploitation of models from early design phases for later development phases, easier adaptation when changes become necessary, or less effort for ports to other target platforms. A solution for this problem is proposed by a methodology called Model Driven Testing. In this thesis, an approach is presented which realizes the ideas of this methodology and the possibilities of automatic test case generation from models that are defined using the UML Testing Profile (UTP) are investigated. To reduce the complexity of UTP, a format for an intermediate model called SWETest is proposed, along with the corresponding model to model transformation rules from a constrained UTP variant where test behaviors are specified in interactions. From this intermediate model, code generation for TTCN-3 as target language is defined and implemented. Further model to model transformation definitions allow the generation of deterministic behaviors from ambiguous interactions.
Test Generation, UML, UTP, UML Testing Profile, Ecore, Openarchitectureware, Xtend, MDA, Model-Transformations, TTCN-3, Testing and Test Control Notation Version 3
Document Type: 
Master's Theses
Gottingen, Germany
Institute of Computer Science, Georg-August-Universität Göttingen
2024 © Software Engineering For Distributed Systems Group

Main menu 2