Automatic model generation strategies for model transformation testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5563 LNCS, Issue , 2009, Pages 148-164

  Sen, Sagar ^a   Baudry, Benoit ^a   Mottu, Jean Marie ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC MODEL GENERATION; AUTOMATICALLY GENERATED; CONSTRAINT SATISFACTION; DOMAIN PARTITIONING; HETEROGENEOUS SOURCES; INFINITE NUMBERS; INPUT MODELS; META MODEL; MODEL GENERATION; MODEL TRANSFORMATION; MUTATION ANALYSIS; MUTATION SCORE; PARTITIONING STRATEGIES; TEST MODELS; TEST SETS; TEST STRATEGIES; TESTING MODELS; UML CLASS DIAGRAMS;

AUTOMATIC TEST PATTERN GENERATION;

EID: 71049126181     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02408-5_11     Document Type: Conference Paper

References (26)

1. Bardohl, R., Taentzer, G., Minas, M., Schurr, A.: Handbook of Graph Grammars and Computing by Graph transformation. In: vII: Applications, Languages and Tools. World Scientific, Singapore (1999)
2. Muller, P.A., Fleurey, F., Jezequel, J.M.: Weaving executability into object-oriented metalanguages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264-278. Springer, Heidelberg (2005)
3. Jouault, F., Kurtev, I.: On the Architectural Alignment of ATL and QVT. In: Proceedings of ACM Symposium on Applied Computing (SAC 2006), FRA (April 2006)
4. Sen, S., Baudry, B., Mottu, J.M.: On combining multi-formalism knowledge to select test models for model transformation testing. In: IEEE International Conference on Software Testing, Lillehammer, Norway (April 2008)
5. Budinsky, F.: Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley, Reading (2004)
6. OMG: The Object Constraint Language Specification 2.0, OMG: ad/03-01-07 (2007)
7. Mahajan, Y.S., Fu, Z., Malik, S.: Zchaff2004: An efficient sat solver. In: Hoos, H.H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol. 3542, pp. 360-375. Springer, Heidelberg (2005)
8. Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.L.: Towards dependable model transformations: Qualifying input test data. In: Software and Systems Modelling (2007) (accepted)
9. DeMillo, R., Lipton, R., Sayward, F.: Hints on test data selection: Help for the practicing programmer. IEEE Computer 11(4), 34-41 (1978)
10. Mottu, J.M., Baudry, B., Traon, Y.L.: Mutation analysis testing for model transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 376-390. Springer, Heidelberg (2006)
11. Vaziri, M., Jackson, D.: Some shortcomings of ocl, the object constraint language of uml. In: TOOLS 2000: Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34′00), Washington, DC, USA. IEEE Computer Society, Los Alamitos (2000)
12. Bezivin, J., Rumpe, B., Schurr, A., Tratt, L.: Model transformations in practice workshop. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 120-127. Springer, Heidelberg (2006)
13. Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Tools and Algorithms for Construction and Analysis of Systems, Braga, Portugal (March 2007)
14. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A challenging model transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 436-450. Springer, Heidelberg (2007)
15. Jackson, D. (2008), http://alloy.mit.edu
16. Pfleeger, S.L.: Experimental design and analysis in software engineering. Annals of Software Engineering, 219-253 (2005)
17. Mottu, J.M., Baudry, B., Traon, Y.L.: Model transformation testing: Oracle issue. In: Proc. of MoDeVVa workshop colocated with ICST 2008, Lillehammer, Norway (April 2008)
18. Vagoun, T.: Input domain partitioning in software testing. In: HICSS 1996: Proceedings of the 29th Hawaii International Conference on System Sciences (HICSS), Washington, DC, USA. Decision Support and Knowledge-Based Systems, vol. 2 (1996)
19. Weyuker, E.J., Weiss, S.N., Hamlet, D.: Comparison of program testing strategies. In: TAV4: Proceedings of the symposium on Testing, analysis and verification, pp. 1-10. ACM, New York (1991)
20. Gutjahr, W.J.: Partition testing versus random testing: the influence of uncertainty. IEEE TSE 25, 661-674 (1999)
21. Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on java predicates. In: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis (2002)
22. Hennessy, M., Power, J.F.: An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software. In: Proc. of the 20th IEEE/ACM ASE, New York, USA (2005)
23. Brottier, E., Fleurey, F., Steel, J., Baudry, B., Traon, Y.L.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: Proceedings of ISSRE 2006, Raleigh, NC, USA (2006)
24. Ehrig, K., Kster, J., Taentzer, G., Winkelmann, J.: Generating instance models from meta models. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 156-170. Springer, Heidelberg (2006)
25. Sen, S., Baudry, B., Precup, D.: Partial model completion in model driven engineering using constraint logic programming. In: International Conference on the Applications of Declarative Programming (2007)
26. Federer, W.T.: Experimental Design: Theory and Applications. Macmillan, Basingstoke (1955)