TetraBox - A Generic White-Box Testing Framework for Model Transformations

Johannes Schönböck, Gerti Kappel, Manuel Wimmer, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger

Research output: Chapter in Book/Report/Conference proceedingsConference contributionpeer-review

13 Citations (Scopus)


Model transformations play a vital role in Model- Driven Engineering. Due to their increasing complexity, proper means for ensuring their quality are needed. Although numerous approaches for testing of model transformations have been proposed, their focus is rather on formal verification than on execution-based testing. Additionally, existing approaches do not consider the actual transformation definition, rarely provide hints for debugging in case of an error and are specific to a certain transformation language. Therefore we propose TETRA Box as a generic framework for execution-based whitebox testing of transformation languages. For this, we base on symbolic execution of model transformations. Additionally, by employing our Pattern-based Modeling Language for Model Transformations (PaMoMo), we are able to provide dedicated failure traces that are aligned to the actual transformation definition as a hint for debugging.

Original languageEnglish
Title of host publicationAPSEC 2013 - Proceedings of the 20th Asia-Pacific Software Engineering Conference
EditorsPornsiri Muenchaisri, Gregg Rothermel
Number of pages8
ISBN (Electronic)9781479921430
Publication statusPublished - 2013
Event20th Asia-Pacific Software Engineering Conference - Bangkok, Thailand
Duration: 2 Dec 20135 Dec 2013

Publication series

NameProceedings - Asia-Pacific Software Engineering Conference, APSEC
ISSN (Print)1530-1362


Conference20th Asia-Pacific Software Engineering Conference


  • MDE
  • Model transformation
  • Testing


Dive into the research topics of 'TetraBox - A Generic White-Box Testing Framework for Model Transformations'. Together they form a unique fingerprint.

Cite this