Test Driven Development: By Example
Test Driven Development: By Example
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Automating model transformation by example using inductive logic programming
Proceedings of the 2007 ACM symposium on Applied computing
Towards Testing the Implementation of Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Constructing Models with the Human-Usable Textual Notation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Unit Testing Model Management Operations
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Model transformation by example
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model transformations? transformation models!
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Practical declarative model transformation with tefkat
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Generating operation specifications from UML class diagrams: A model transformation approach
Data & Knowledge Engineering
Verification and validation in the context of domain-specific modelling
Proceedings of the 10th Workshop on Domain-Specific Modeling
Using spring Roo for the test-driven development of Web applications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
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
Automated verification of model transformations based on visual contracts
Automated Software Engineering
Early experiences on model transformation testing
Proceedings of the First Workshop on the Analysis of Model Transformations
Summary of the Extreme Modeling Workshop (XM'12)
Proceedings of the 2012 Extreme Modeling Workshop
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Model transformations enable the automated development paradigm proposed by Model Driven Engineering. However, since the requirements for building a model transformation are usually expressed informally, requirements descriptions are difficult to keep updated and synchronized with their corresponding implementations. Therefore, human effort is usually required for validating model transformations. The present work defines a test-driven method for the development process of model-to-model transformations. This method is focused on the capture of requirements for transformations in such a way that guides the development and the documentation of model transformations. Requirements are expressed by means of test cases that can be automatically validated. The proposal has been applied to the MOSKitt open source CASE tool in an industrial scenario.