Model transformation testing: The state of the art

Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012

Volumn , Issue , 2012, Pages 21-26

  Selim, Gehan M K ^a   Cordy, James R ^a   Dingel, Juergen ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

contracts; model driven development; model transformation testing; mutation analysis; test case generation

Indexed keywords

AUTOMATED MODEL TRANSFORMATIONS; BASIC UNITS; DETAILED MODELS; FORMAL VERIFICATIONS; KEY PARTS; MODEL DRIVEN DEVELOPMENT; MODEL TRANSFORMATION; MUTATION ANALYSIS; STATE OF THE ART; TEST CASE GENERATION; TESTING CODES;

CONTRACTS; SOFTWARE ENGINEERING;

MATHEMATICAL MODELS;

EID: 84874159855     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2432497.2432502     Document Type: Conference Paper

References (29)

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.