Test Case Generation using Model Transformations

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.