Model-Based Test Driven Development of the Tefkat Model-Transformation Engine

Authors:
Jim Steel;Michael Lawley
Affiliations:
INRIA/Irisa, University of Rennes 1, France;University of Queensland, Australia
Venue:
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Year:
2004

Citing 0
Cited 5

Sequence diagram to colored Petri nets transformation testing: an immune system metaphor

Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Example-based model-transformation testing

Automated Software Engineering
Model typing for improving reuse in model-driven engineering

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Mutation analysis testing for model transformations

ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Engineering model transformations with transML

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Tefkat is an implementation of a rule- and pattern-based engine for the transformation of models defined using the Object Management Group's (OMG) Model-Driven Architecture (MDA). The process for the development of the engine included the concurrent development of a unit test suite for the engine. The test suite is constructed as a number of models, whose elements comprise the test cases, and which are passed to a test harness for processing. The paper discusses the difficulties and opportunities encountered in the process, and draws implications for the broader problem of testing in a model-driven environment, and of using models for testing.