Validation in model-driven engineering: Testing model transformations

Proceedings - 2004 1st International Workshop on Model, Design and Validation, SIVOES - MoDeVa 2004

Volumn , Issue , 2004, Pages 29-40

  Fleurey, Franck ^a   Steel, Jim ^a   Baudry, Benoit ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY CODES; COMPUTER ARCHITECTURE; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; RELATIONAL DATABASE SYSTEMS; SOFTWARE ENGINEERING;

META-OBJECT FACILITY (MOF); MODEL-DRIVEN ARCHITECTURE (MDA); OBJECT-ORIENTED SYSTEMS; SYSTEM CODES;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 21444437987     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. D. H. Akehurst and S. Kent. A relational approach to defining transformations in a metamodel. In UML 2002 - The Unified Modeling Language, 5th International Conference, Proceedings, pages 243-258, 2002.
2. A. Andrews, R. France, S. Ghosh, and G. Craig. Test adequacy criteria for UML design models. Journal of Software Testing, Verification and Reliability, 13(2):95-127, april-june 2003.
3. C. Atkinson and G. Hans-Gerhard. Built-in contract testing in model-driven, component-based development. In 1st International Working Conference on Component Deployment, Austin, TX, USA, 2002.
4. B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. L. Traon. Automatic test cases optimization using a bacteriological adaptation model: Application to .NET components. Proceedings of the 17th IEEE International Conference on Automated Software Engineering, 2002.
5. B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. L. Traon. Genes and bacteria for automatic test cases optimization in the .NET environment. In procedings of the Thirteenth International Symposium on Software Reliability engineering (ISSRE), november 2002.
6. B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, 2nd edition edition, 1990.
7. J. Bézivin, N. Parcel, J.-M. Jézéquel, B. Langlois, and D. Pollet. Reflective model driven engineering. In UML 2003 - The Unified Modeling Language, 6th International Conference, Proceedings, pages 175-189, 2003.
8. R. V. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison Wesley, 1999.
9. K. Duddy, A. Gerber, M. Lawley, K. Raymond, and J. Steel. Model transformation: A declarative, reusable patterns approach. In Proc. 7th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2003, pages 174-195, Sept. 2003.
10. A. Gerber, M. Lawley, K. Raymond, J. Steel, and A. Wood. Transformation: The missing link of MDA. In Proc. 1st International Conference on Graph Transformation, ICGT'02, volume 2505 of Lecture Notes in Computer Science. Springer Verlag, 2002.
11. R. Heckel and M. Lohmann. Towards model-driven testing. In Electronic Notes in Theoretical Computer Science, volume 82. Elsevier, 2003.
12. J.-M. Jézéquel, D. Deveaux, and Y. Le Traon. Reliable Objects: Lightweight Testing for OO Languages. IEEE-Software, 18(4):76-83, jul-aug 2001.
13. O. M. G. (OMG). Meta Object Facility (MOF) specification. OMG Document ad/97-08-14, Sept. 1997.
14. O. M. G. (OMG). MOF 2.0 Query/Views/Transformations RFP. OMG Document ad/2002-04-10, Oct. 2002.
15. O. M. G. (OMG). The object constraint language (OCL), 2003. http://www.omg.org/docs/ptc/03-08-08.pdf.
16. T. J. Ostrand and M. J. Balcer. The category-partition method for specifying and generating functional tests. Communications of the ACM, 31(6):676-686, 1988.
17. D. Pollet, D. Vojtisek, and J.-M. Jézéquel. OCL as a core UML transformation language. WiTUML 2002 Position paper, Malaga, Spain, June 2002.
18. M. J. Rutherford and A. L. Wolf. A case for test-code generation in model-driven systems. In Proceedings of the second international conference on Generative programming and component engineering, pages 377-396, 2003.
19. R. Soley and the OMG Staff. Model-Driven Architecture. OMG Document, Nov. 2000.