Software engineering: a practitioner's approach (2nd ed.)
Software engineering: a practitioner's approach (2nd ed.)
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Art of Software Testing
MTrans, a DSL for Model Transformation
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
The Pragmatics of Model-Driven Development
IEEE Software
The MT model transformation language
Proceedings of the 2006 ACM symposium on Applied computing
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Design by Contract to Improve Software Vigilance
IEEE Transactions on Software Engineering
Reusable MDA components: a testing-for-trust approach
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A canonical scheme for model composition
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
OCL and model driven engineering
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
A Practical MDA Approach for Autonomic Profiling and Performance Assessment
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
A Framework for Testing Model Composition Engines
SC '09 Proceedings of the 8th International Conference on Software Composition
Automated Test Input Generation for Software That Consumes ORM Models
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
A transformation contract to generate aspects from access control policies
Software and Systems Modeling (SoSyM)
ATLTest: a white-box test generation approach for ATL transformations
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
It is widely accepted that model transformations play an important role in the MDA approach. As for any software, the validation and verification are essential in the life cycle of a model transformation. The proposition of an automatic approach that is based on functional testing techniques for the verification of model transformations reveals three main issues: the automatic generation of test data, the verification criteria, and the definition of the test oracle. The scope of this paper is restricted to the automatic generation of test data issue of the verification process. We first present a background on essential methods for test case generation and we argue their adaptation for the verification of model transformations. For an automated generation of test data we propose a formal language to be used for the specification of model transformations. We also propose a data partitioning technique that focuses on the structure of models in order to take into account the structural aspect of models when generating input test models. Our partitioning technique is to be combined with existing techniques to cover the whole characteristics of the value a model.