loading...
Automatic Generation of Test Models for Model Transformations
March 26-March 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASWEC.2008.4219th Australian Conference on Softwar ...
 This Article 
 
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Model Driven Architecture (MDA) is a software design approach initiated by OMG. MDA is intended to support model driven engineering of software systems. Under MDA, the central artifacts are models which are transformed to include platform-specific detail, and eventually to source code. Therefore, model transformations play a key role in making MDA succeed. However, much less attention has been given to the need to ensure that model transformations generate the intended results. This paper explores validation and verification of model transformations using testing techniques. The paper describes the steps for generating test input models from a given set of transformation rules and the corresponding source metamodel(s). The process of testing model transformations has been implemented in a prototype tool that is built using the Eclipse Modeling Framework (EMF).
Index Terms:
Model Driven Architecture, Model Transformations, Testing Model Transformations, Automatic Test Model Generation
Citation:
Junhua Wang, Soon-Kyeong Kim, David Carrington, "Automatic Generation of Test Models for Model Transformations," aswec, pp.432-440, 19th Australian Conference on Software Engineering (aswec 2008), 2008
Usage of this product signifies your acceptance of the Terms of Use.