TY - GEN
T1 - TetraBox - A Generic White-Box Testing Framework for Model Transformations
AU - Schönböck, Johannes
AU - Kappel, Gerti
AU - Wimmer, Manuel
AU - Kusel, Angelika
AU - Retschitzegger, Werner
AU - Schwinger, Wieland
N1 - Publisher Copyright:
© 2013 IEEE.
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
KW - MDE
KW - Model transformation
KW - Testing
UR - http://www.scopus.com/inward/record.url?scp=84936876740&partnerID=8YFLogxK
U2 - 10.1109/APSEC.2013.21
DO - 10.1109/APSEC.2013.21
M3 - Conference contribution
SN - 9780769549224
T3 - Proceedings - Asia-Pacific Software Engineering Conference, APSEC
SP - 75
EP - 82
BT - APSEC 2013 - Proceedings of the 20th Asia-Pacific Software Engineering Conference
A2 - Muenchaisri, Pornsiri
A2 - Rothermel, Gregg
T2 - 20th Asia-Pacific Software Engineering Conference
Y2 - 2 December 2013 through 5 December 2013
ER -