Model-based test driven development of the tefkat model-transformation engine

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2004, Pages 151-160

  Steel, Jim ^a   Lawley, Michael ^b  

^a UNIVERSITÉ DE RENNES 1   (France)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

TEFKAT MODEL; TEST DRIVEN DEVELOPMENT; TRANSFORMATION ENGINE; UNIFIED MODELLING LANGUAGE (UML)- COMPUTER PROGRAMMING LANGUAGE;

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; SOFTWARE ENGINEERING; XML;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 16244362079     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2004.23     Document Type: Conference Paper

References (21)

1. M. Alanen and I. Porres. Difference and Union of Models. UML 2003, pages 2-17, Springer, 2003.
2. T. Bacon. A Tour of XMLUnit. Available from http://xmlunit.sourceforge.net
3. B. Beizer. Software Testing Techniques, 2nd Edition. Van Nostran Reinhold, 1990.
4. R. Binder. Testing object-oriented systems. Addison-Wesley, 2000.
5. F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, T. Grose. Eclipse Modeling Framework. Addison & Wesley, 2003.
6. DSTC, IBM, CBOP. MOF Query/Views/Transformations, Second Revised Submission. OMG Document no. ad/2004-01-06, January 2004.
7. DSTC, Pty Ltd. Tefkat Demonstration, http://www.dstc.edu.au:8080/qvt/, April 2004.
8. K. Duddy, A. Gerber, M. Lawley, K. Raymond, and J. Steel. Model Transformation: A declarative, reusable patterns approach. EDOC 2003, pages 174-185, IEEE Computer Society, 2003.
9. A. Gerber, M. Lawley, K. Raymond, J. Steel, and A. Wood. Transformation: The Missing Link of MDA. ICGT 2002, pages 90-105, Springer 2002.
10. D. Hearnden, P. Bailes, M. Lawley, and K. Raymond. Automating Software Evolution. IWPSE 2004, September 2004.
11. JUnit, Testing Resources for Extreme Programming. http://www.junit.org, April 2004.
12. A. Kalinov, A. Kossatchev, A. Petrenko, M. Posypkin and V. Shishkov. Coverage-Driven Automated Compiler Test Suite Generation. Electronic Notes in Theoretical Computer Science, Vol 82, Issue 3, Elsevier 2003.
13. R. Lämmel. Grammar Testing. FASE 2001, pages 201-216, Springer 2001.
14. Object Management Group, Executive Overview: Model-Driven Architecture. Available from http://www.omg.org/mda.
15. Object Management Group (OMG), Meta-Object Facility 2.0 Core Final Adopted Specification, OMG Document ptc/2003-10-04.
16. Object Management Group (OMG), MOF 2.0 Query/Views/Transformations RFP, OMG Document no. ad/2002-04-10, April 2002.
17. Object Management Group (OMG), Unified Modeling Language (UML) Specification
18. Object Management Group (OMG), XML-Based Model Interchange (XMI) Specification.
19. E.G. Sirer. Testing Java Virtual Machines. International Conference on Software Testing And Review, San Jose, California, November 1999.
20. J. Sprinkle. Metamodel Driven Model Migration. PhD Dissertation, August 2003.
21. Yuan Wang, David J. DeWitt, and Jin-Yi Cai. X-Diff: An Effective Change Detection Algorithm for XML Documents. ICDE 2003.