skip to main content
10.1145/2432497.2432502acmconferencesArticle/Chapter ViewAbstractPublication PagesmodelsConference Proceedingsconference-collections
research-article

Model transformation testing: the state of the art

Published: 02 October 2012 Publication History

Abstract

Model Driven Development (MDD) is a software engineering approach in which models constitute the basic units of software development. A key part of MDD is the notion of automated model transformation, in which models are stepwise refined into more detailed models, and eventually into code. The correctness of transformations is essential to the success of MDD, and while much research has concentrated on formal verification, testing remains the most efficient method of validation. Transformation testing is however different from testing code, and presents new challenges. In this paper, we survey the model transformation testing phases and the approaches proposed in the literature for each phase.

References

[1]
M. Alalfi, J. Cordy, T. Dean, M. Stephan, and A. Stevenson. Near-miss Model Clone Detection for Simulink Models. In IWSC, pages 78--79, 2012.
[2]
A. Andrews, R. France, S. Ghosh, and G. Craig. Test Adequacy Criteria for UML Design Models. Software Testing, Verification and Reliability, 13(2), 2003.
[3]
B. Baudry, T. Dinh-Trong, J. Mottu, D. Simmonds, R. France, S. Ghosh, F. Fleurey, and Y. Le Traon. Model Transformation Testing Challenges. In IMDT, 2006.
[4]
B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. Le Traon, and J. Mottu. Barriers to Systematic Model Transformation Testing. ACM, 53(6), 2010.
[5]
E. Bauer, J. Küster, and G. Engels. Test Suite Quality for Model Transformation Chains. TOOLS, 2011.
[6]
E. Bauer and J. M. Küster. Combining Specification-Based and Code-Based Coverage for Model Transformation Chains. ICMT, 2011.
[7]
E. Cariou, R. Marvie, L. Seinturier, and L. Duchien. Model Transformation Contracts and their Definition in UML and OCL. Tech. Rep. 2004-08, LIFL, 2004.
[8]
E. Cariou, R. Marvie, L. Seinturier, and L. Duchien. OCL for the Specification of Model Transformation Contracts. In OCL & MDE, volume 12, 2004.
[9]
T. Dinh-Trong, S. Ghosh, R. France, B. Baudry, and F. Fleury. A Taxonomy of Faults for UML Designs. In MoDeVa, 2005.
[10]
F. Fleurey, B. Baudry, P. Muller, and Y. Traon. Qualifying Input Test Data for Model Transformations. SoSyM, 8(2), 2009.
[11]
F. Fleurey, J. Steel, and B. Baudry. Validation in Model-Driven Engineering: Testing Model Transformations. In MoDeVa, 2004.
[12]
S. Ghosh, R. France, C. Braganza, N. Kawane, A. Andrews, and O. Pilskalns. Test Adequacy Assessment for UML Design Model Testing. In ISSRE, 2003.
[13]
M. Gogolla and A. Vallecillo. Tractable Model Transformation Testing. In ECMFA, 2011.
[14]
S. Haschemi. Model Transformations to Satisfy All-Configurations-Transitions on Statecharts. In MoDeVVa, 2009.
[15]
D. Kolovos, R. Paige, and F. Polack. Model Comparison: A Foundation for Model Composition and Model Transformation Testing. In GaMMa, 2006.
[16]
J. Küster and M. Abd-El-Razik. Validation of Model Transformations -- First Experiences using a White Box Approach. In MoDeVa, 2006.
[17]
R. Lämmel. Grammar Testing. FASE, 2001.
[18]
Y. Le Traon, B. Baudry, and J. Jézéquel. Design by Contract to Improve Software Vigilance. IEEE Transactions on Software Engineering, 32(8), 2006.
[19]
G. Leavens, A. Baker, and C. Ruby. Preliminary Design of JML: A Behavioral Interface Specification Language for Java. ACM SIGSOFT Software Engineering Notes, 31(3), 2006.
[20]
Y. Lin, J. Zhang, and J. Gray. Model Comparison: A Key Challenge for Transformation Testing and Version Control in Model Driven Software Development. In Best Practices for Model-Driven Software Development, volume 108, 2004.
[21]
Y. Lin, J. Zhang, and J. Gray. A Testing Framework for Model Transformations. MDSD, 2005.
[22]
J. McQuillan and J. Power. White-Box Coverage Criteria for Model Transformations. In Model Transformation with ATL, 2009.
[23]
J. A. McQuillan and J. F. Power. A Survey of UML-Based Coverage Criteria for Software Testing. Tech. Rep., NUI, Dept. of Computer Science, 2005.
[24]
J. Mottu, B. Baudry, and Y. Le Traon. Mutation Analysis Testing for Model Transformations. In ECMDA-FA, 2006.
[25]
J. Mottu, B. Baudry, and Y. Le Traon. Reusable MDA Components: A Testing-for-Trust Approach. In MODELS, 2006.
[26]
J. Offutt and A. Abdurazik. Generating Tests from UML Specifications. UML, 1999.
[27]
T. Ostrand and M. Balcer. The Category-Partition Method for Specifying and Generating Fuctional Tests. ACM, 31(6), 1988.
[28]
J. Warmer and A. Kleppe. The Object Constraint Language: Getting your Models Ready for MDA. Second edition, 2003.
[29]
Y. Wu, M. Chen, and J. Offutt. UML-Based Integration Testing for Component-Based Software. ICCBSS, 2003.

Cited By

View all
  • (2024)Ant-colony optimization for automating test model generation in model transformation testingJournal of Systems and Software10.1016/j.jss.2023.111882208(111882)Online publication date: Feb-2024
  • (2024)Multi-objective model transformation chain exploration with MOMoTInformation and Software Technology10.1016/j.infsof.2024.107500174(107500)Online publication date: Oct-2024
  • (2022)Model Transformation Testing and Debugging: A SurveyACM Computing Surveys10.1145/352305655:4(1-39)Online publication date: 21-Nov-2022
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
AMT '12: Proceedings of the First Workshop on the Analysis of Model Transformations
October 2012
48 pages
ISBN:9781450318037
DOI:10.1145/2432497
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 October 2012

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. contracts
  2. model driven development
  3. model transformation testing
  4. mutation analysis
  5. test case generation

Qualifiers

  • Research-article

Conference

MODELS '12
Sponsor:

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)13
  • Downloads (Last 6 weeks)1
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Ant-colony optimization for automating test model generation in model transformation testingJournal of Systems and Software10.1016/j.jss.2023.111882208(111882)Online publication date: Feb-2024
  • (2024)Multi-objective model transformation chain exploration with MOMoTInformation and Software Technology10.1016/j.infsof.2024.107500174(107500)Online publication date: Oct-2024
  • (2022)Model Transformation Testing and Debugging: A SurveyACM Computing Surveys10.1145/352305655:4(1-39)Online publication date: 21-Nov-2022
  • (2022)An automated search‐based test model generation approach for structural testing of model transformationsJournal of Software: Evolution and Process10.1002/smr.246134:11Online publication date: 9-May-2022
  • (2021)FoundationsComposing Model-Based Analysis Tools10.1007/978-3-030-81915-6_2(9-37)Online publication date: 18-Jul-2021
  • (2020)Multi-criteria test cases selection for model transformationsAutomated Software Engineering10.1007/s10515-020-00271-wOnline publication date: 12-Apr-2020
  • (2017)Static Analysis of Model TransformationsIEEE Transactions on Software Engineering10.1109/TSE.2016.263513743:9(868-897)Online publication date: 1-Sep-2017
  • (2017)Translating target to source constraints in model-to-model transformationsProceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS.2017.12(12-22)Online publication date: 17-Sep-2017
  • (2016)Automated testing support for reactive domain-specific modelling languagesProceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering10.1145/2997364.2997367(181-194)Online publication date: 20-Oct-2016
  • (2016)A generic framework for model-set selection for the unification of testing and learning MDE tasksProceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems10.1145/2976767.2976785(374-384)Online publication date: 2-Oct-2016
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media