Model transformation testing: Oracle issue

2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08

Volumn , Issue , 2008, Pages 105-112

  Mottu, Jean Marie ^a   Baudry, Benoit ^a   Le Traon, Yves ^b  

^a CAMPUS DE BEAULIEU   (France)

^b ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR ANALYSIS; INFORMATION THEORY; MODEL CHECKING; TECHNOLOGY; VERIFICATION;

COMPLEX NATURE; INTERNATIONAL CONFERENCES; MODEL TRANSFORMATIONS; MODEL-DRIVEN ENGINEERING; TESTING ORACLES; VERIFICATION AND VALIDATION;

SOFTWARE TESTING;

EID: 52249120830     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2008.27     Document Type: Conference Paper

References (18)

1. OMG. MOF 2.0 Core Final Adopted Specification. 2004 2005; Available from: http://www.omg.org/cgi-bin/doc7ptc/03-10-04.
2. Bezivin, J., B. Rumpe, A. Schurr, and L. Tratt, Model Transformations in Practice Workshop. 2005: Supplemental Proceedings of the MoDELS'05 conference. p. 120 - 127.
3. Fleurey, F., B. Baudry, P.-A. Muller, and Y. Le Traon, Towards Dependable Model Transformations: Qualifying Input Test Data. Software and Systems Modeling, 2007.
4. Ehrig, K., J.M. Küster, G. Taentzer, and J. Winkelmann. Generating Instance Models from Meta Models. in FMOODS'06 (Formal Methods for Open Object-Based Distributed Systems). 2006. Bologna, Italy.
5. Sen, S., B. Baudry, and J.-M. Mottu, On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing, in Proceedings of ICST'08 (International Conference on Software Testing Verification and Validation). 2008: Lillehammer, Norway.
6. Lin, Y., J. Gray, and F. Jouault, DSMDiff: A Differentiation Tool for Domain-Specific Models. European Journal of Information Systems, Special Issue on Model-Driven Systems Development, 2007.
7. Heckel, R. and M. Lohmann, Towards Model-Driven Testing. Electronic Notes in Theoretical Computer Science, 2003. 82(6).
8. Alanen, M. and I. Porres. Difference and Union of Models. in UML'03 (Unified Modeling Language). 2003. San Francisco, CA, USA.
9. EMF Compare. Eclipse Foundation; Available from: www.eclipse.org/emft/projects/compare.
10. Le Traon, Y., B. Baudry, and J.-M. Jézéquel, Design by Contract to Improve Software Vigilance. IEEE Transactions on Software Engineering, 2006. 32(8).
11. Briand, L.C., Y. Labiche, and H. Sun, Investigating the Use of Analysis Contracts to Improve the Testability of Object Oriented Code. Software Practice and Experience, 2003. 33(7).
12. Mottu, J.-M., B. Baudry, and Y. Le Traon. Reusable MDA Components: A Testing-for-Trust Approach. in MoDELS'06. 2006. Genova, Italy.
13. de Lara, J. and H. Vangheluwe, AToM3: A Tool for Multi-formalism and Meta-modelling, in FASE '02 (International Conference on Fundamental Approaches to Software Engineering). 2002.
14. Kolovos, D.S., R.F. Paige, and F.a.C. Polack. Model Comparison: A Foundation for Model Composition and Model Transformation Testing. in workshop GaMMa'06. 2006. Shangaï, China.
15. 2a 2006, colocated with MoDELS06. 2006. Genova, Italy.
16. Ramos, R., O. Barais, and J.-M. Jézéquel. Matching Model-Snippets. in MoDELS'07. 2007. Nashville, USA.
17. Muller, P.-A., F. Fleurey, D. Vojtisek, Z. Drey, D. Pollet, F. Fondement, and P. Studer. On Executable Meta-Languages applied to Model Transformations. in Model Transformation in Practice Workshop, part of MoDELS'05. 2005. Montego Bay, Jamaica.
18. Lawley, M. and J. Steel, Practical Declarative Model Transformation With Tefkat, in Model Transformation in Practice Workshop, part of MoDELS'05. 2005: Montego Bay, Jamaica.