EUnit: a unit testing framework for model management tasks

Authors:
Antonio García-Domínguez;Dimitrios S. Kolovos;Louis M. Rose;Richard F. Paige;Inmaculada Medina-Bulo
Affiliations:
University of Cádiz, Department of Computer Languages and Systems, Cádiz, Spain;University of York, Department of Computer Science, Deramore Lane, York, United Kingdom;University of York, Department of Computer Science, Deramore Lane, York, United Kingdom;University of York, Department of Computer Science, Deramore Lane, York, United Kingdom;University of Cádiz, Department of Computer Languages and Systems, Cádiz, Spain
Venue:
Proceedings of the 14th international conference on Model driven engineering languages and systems
Year:
2011

Citing 10
Cited 2

Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool

ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
EMF: Eclipse Modeling Framework 2.0

EMF: Eclipse Modeling Framework 2.0
Real-Life MDA: Solving Business Problems with Model Driven Architecture

Real-Life MDA: Solving Business Problems with Model Driven Architecture
Unit Testing Model Management Operations

ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Model transformation testing: oracle issue

ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Challenges in Model-Driven Software Engineering

Models in Software Engineering
Automatic Model Generation Strategies for Model Transformation Testing

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Using ATL for Checking Models

Electronic Notes in Theoretical Computer Science (ENTCS)
Barriers to systematic model transformation testing

Communications of the ACM
Taming EMF and GMF using model transformation

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I

Specification-Driven test generation for model transformations

ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Formal specification and testing of model transformations

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Validating and transforming models are essential steps in model-driven engineering. These tasks are often implemented as operations in general purpose programming languages or task-specific model management languages. Just like other software artefacts, these tasks must be tested to reduce the risk of defects. Testing model management tasks requires testers to select and manage the relevant combinations of input models, tasks and expected outputs. This is complicated by the fact that many technologies may be used in the same system, each with their own integration challenges. In addition, advanced test oracles are required: tests may need to compare entire models or directory trees. To tackle these issues, we propose creating an integrated unit testing framework for model management operations. We have developed the EUnit unit testing framework to validate our approach. EUnit tests specify how models and tasks are to be combined, while staying decoupled from the specific technologies used.