Automatic generation of test models for model transformations

Wang, J., Kim, S. K. and Carrington, D. A. (2008). Automatic generation of test models for model transformations. In: S. Kawada, Software Engineering 2008. 19th Australian Conference on Software Engineering 2008 (ASWEC 2008), Perth, Australia, (432-440). 26-28 March 2008. doi:10.1109/ASWEC.2008.4483232

Author Wang, J.
Kim, S. K.
Carrington, D. A.
Title of paper Automatic generation of test models for model transformations
Conference name 19th Australian Conference on Software Engineering 2008 (ASWEC 2008)
Conference location Perth, Australia
Conference dates 26-28 March 2008
Proceedings title Software Engineering 2008
Journal name Proceedings of the Australian Software Engineering Conference, ASWEC
Place of Publication Piscataway, NJ, U.S.A.
Publisher IEEE - Institute of Electrical Electronics Engineers Inc.
Publication Year 2008
Sub-type Fully published paper
DOI 10.1109/ASWEC.2008.4483232
ISBN 978-0-7695-3100-7
ISSN 1530-0803
Editor S. Kawada
Start page 432
End page 440
Total pages 9
Collection year 2009
Language eng
Abstract/Summary 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).
Subjects E1
080309 Software Engineering
890299 Computer Software and Services not elsewhere classified
Keyword Automatic testing
Program testing
Program verification
Model driven architecture
Software systems
Q-Index Code E1
Q-Index Status Confirmed Code

Version Filter Type
Citation counts: Scopus Citation Count Cited 7 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Thu, 16 Apr 2009, 16:24:58 EST by Ms Kimberley Nunes on behalf of School of Information Technol and Elec Engineering