Validation in model-driven engineering: Testing model transformations

Fleurey, F., Steel, J. and Baudry, B. (2004). Validation in model-driven engineering: Testing model transformations. In: Sivoes-Modeva 2004, Proceedings. 1st International Workshop on Model, Design and Validation (SIVOES-MoDeVa), Rennes, France, (29-40). 2 November 2004. doi:10.1109/MODEVA.2004.1425846

Author Fleurey, F.
Steel, J.
Baudry, B.
Title of paper Validation in model-driven engineering: Testing model transformations
Conference name 1st International Workshop on Model, Design and Validation (SIVOES-MoDeVa)
Conference location Rennes, France
Conference dates 2 November 2004
Proceedings title Sivoes-Modeva 2004, Proceedings
Publisher IEEE
Publication Year 2004
Sub-type Fully published paper
DOI 10.1109/MODEVA.2004.1425846
ISBN 0780388526
Start page 29
End page 40
Total pages 11
Language eng
Abstract/Summary The OMG's model-driven architecture is quickly attracting attention as a method of constructing systems that offers advantages over traditional approaches in terms of reliability, consistency, and maintainability. The key concepts in the MDA are models that are related by model transformations. However, for the MDA to provide an adequate alternative to existing approaches, it must offer comparable support for software engineering processes such as requirements analysis, design and testing. This paper attempts to explore the application of the last of these processes, testing, to the most novel part of the MDA, that of model transformation. We present a general view of the roles of testing in the different stages of model-driven development, and a more detailed exploration of approaches to testing model transformations. Based on this, we highlight the particular issues for the different testing tasks, including adequacy criteria, test oracles and automatic test data generation. We also propose possible approaches for the testing tasks, and show how existing functional and structural testing techniques can be adapted for use in this new development context.
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Non-UQ

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 17 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Wed, 16 Mar 2011, 12:30:19 EST