Testing operational transformations in model-driven engineering

Authors:
Andrea Ciancone;Antonio Filieri;Raffaela Mirandola
Affiliations:
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milan, Italy;Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milan, Italy;Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milan, Italy
Venue:
Innovations in Systems and Software Engineering
Year:
2014

Citing 9
Cited 0

Testing: a roadmap

Proceedings of the Conference on The Future of Software Engineering
EMF: Eclipse Modeling Framework 2.0

EMF: Eclipse Modeling Framework 2.0
Model-driven Development of Complex Software: A Research Roadmap

FOSE '07 2007 Future of Software Engineering
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Automatic Generation of Test Models for Model Transformations

ASWEC '08 Proceedings of the 19th Australian Conference on Software Engineering
KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability

The Common Component Modeling Example
The Palladio component model for model-driven performance prediction

Journal of Systems and Software
Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms

Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Code Bad Smells: a review of current knowledge

Journal of Software Maintenance and Evolution: Research and Practice

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-driven development is gaining importance in software engineering practice. This increasing usage asks for a new generation of testing tools to verify correctness and suitability of model transformations. This paper presents a novel approach to unit testing QVT operational (QVTO) transformations, which overcomes limitations of currently available tools. Our proposal, called MANTra (Model trANsformation Testing), allows software developers to design test cases directly within the QVTO language and verify them without moving from the transformation environment. MANTra is also available as an eclipse feature that can be easily integrated into established development practice.