Filters








417,087 Hits in 5.1 sec

Automatic Model Generation Strategies for Model Transformation Testing [chapter]

Sagar Sen, Benoit Baudry, Jean-Marie Mottu
2009 Lecture Notes in Computer Science  
We propose automatic model generation via constraint satisfaction using our tool Cartier for model transformation testing.  ...  These scores are based on analysis of 360 automatically generated test models for the representative transformation of UML class diagram models to RDBMS models.  ...  In Section 3 we describe our tool Cartier for automatic model generation, strategies for guiding model generation, and mutation analysis for model transformation testing.  ... 
doi:10.1007/978-3-642-02408-5_11 fatcat:uqmmcef2brhrndjc32apezpshe

Static Analysis of Model Transformations for Effective Test Generation

Jean-Marie Mottu, Sagar Sen, Massimo Tisi, Jordi Cabot
2012 2012 IEEE 23rd International Symposium on Software Reliability Engineering  
We present a white-box testing approach that uses static analysis to guide the automatic generation of test inputs for transformations.  ...  Can we automatically generate an effective set of test models using knowledge from the transformation?  ...  It is only in our paper [28] , that we use these strategies to generate test models for black-box testing a transformation.  ... 
doi:10.1109/issre.2012.7 dblp:conf/issre/MottuSTC12 fatcat:vinna3cftfbebfusjcgwuvzf4m

Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool

Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Traon
2006 Proceedings - International Symposium on Software Reliability Engineering  
In this paper, we focus on generating input test data (called test models) for model transformations. We present an algorithm to automatically build test models from a metamodel.  ...  A model transformation program is a specific program, in the sense it manipulates models as main parameters.  ...  A process for automatic test data generation In [5] , different activities have been identified for the test data generation in the context of MT testing.  ... 
doi:10.1109/issre.2006.27 dblp:conf/issre/BrottierFSBT06 fatcat:f2xdc7dfrzgklhnmdzbsl4tf5u

Testing Model Transformations: A Case for Test Generation from Input Domain Models [chapter]

Benoit Baudry
2013 Model-Driven Engineering for Distributed Real-Time Systems  
These fragments are the basis for the definition of coverage criteria and for automatic generation of test data. They also serve to drive the automatic generation of models for testing.  ...  A major challenge for test generation is that metamodels usually model an infinite set of possible input models for the transformation.  ...  Le Traon for the numerous fruitful discussions on software testing.  ... 
doi:10.1002/9781118558096.ch3 fatcat:req62le5gvharkhzoviuycvi6q

Using Models of Partial Knowledge to Test Model Transformations [chapter]

Sagar Sen, Jean-Marie Mottu, Massimo Tisi, Jordi Cabot
2012 Lecture Notes in Computer Science  
In Model-Driven Engineering, test inputs are models executed by model transformations.  ...  We argue that partial models are more readable and maintainable and can be automatically completed to full input models while considering language constraints.  ...  The scoping strategy can be modified depending on whether we would like to generate minimally sized or large test models.  ... 
doi:10.1007/978-3-642-30476-7_2 fatcat:qzr3eja4w5dtbkku4hhhutouqi

Discovering model transformation pre-conditions using automatically generated test models

Jean-Marie Mottu, Sagar Sen Simula, Juan Cadavid, Benoit Baudry
2015 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)  
The approach is based on systematically generating a finite number of test models using our tool, PRAMANAto first cover the input domain based on input domain partitioning.  ...  Specifying a model transformation is challenging as it must be able to give a meaningful output for any input model in a possibly infinite modeling domain.  ...  We briefly describe PRAMANA for automatic test model generation in Section III-A.  ... 
doi:10.1109/issre.2015.7381802 dblp:conf/issre/MottuSCB15 fatcat:lk2hmpgqgjb4fdslgo5gu5sncm

The SOAMIG Process Model in Industrial Applications

C. Zillmann, A. Winter, A. Herget, W. Teppe, M. Theurer, A. Fuhr, T. Horn, V. Riediger, U. Erdmenger, U. Kaiser, D. Uhlig, Y. Zimmermann
2011 2011 15th European Conference on Software Maintenance and Reengineering  
The SOAMIG Project aims at a general migration process model with an emphasis on transformationbased conversion.  ...  The SOAMIG Process Model is divided into several phases and disciplines, which describe and organize general migration activities.  ...  Furthermore, a new data model is currently generated (semi-)automatically. Extracted code and data model were adapted to match the service interfaces.  ... 
doi:10.1109/csmr.2011.48 dblp:conf/csmr/ZillmannWHTTFHREKUZ11 fatcat:ec7vccs6offlxnouvdr635tgmm

Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines

Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves le Traon
2010 2010 Third International Conference on Software Testing, Verification and Validation  
We propose a scalable toolset using Alloy to automatically generate test cases satisfying T -wise from SPL models. We define strategies to split T -wise combinations into solvable subsets.  ...  T -wise dramatically reduces the number of test products while ensuring reasonable SPL coverage. However, automatic generation of test cases satisfying T -wise using SAT solvers raises two issues.  ...  We addressed usability via model-driven engineering techniques to automatically transform generic feature diagrams into alloy models amenable to T-wise test generation in Alloy.  ... 
doi:10.1109/icst.2010.43 dblp:conf/icst/PerrouinSKBT10 fatcat:3newifomynhkfkjxual6kxante

Towards Automated Model Driven Development withModel Transformation Methods and Testing

Nguyen Cuong
2013 International Journal of Information and Electronics Engineering  
To achieve automation development we outline a formal approach to testing model transformation with automated test data generation. Index Terms-ATL, model driven development, model transformation.  ...  As more complex models need to be used, the importance of transformations between models grows.  ...  One drawback of completely automatic generation of test model is the complication for testers in reading and comprehending the model.  ... 
doi:10.7763/ijiee.2013.v3.314 fatcat:p7fazd5pwra3fbxnrfbiquoxty

Introduction to the STAF 2015 special section

Jasmin Blanchette, Francis Bordeleau, Alfonso Pierantonio, Nikolai Kosmatov, Gabriele Taentzer, Manuel Wimmer
2018 Journal of Software and Systems Modeling  
Languages for model-to-text transformations as they are used for automatic code and document generation lack support for developing transformations that scale with the size of the input model.  ...  class testing strategy.  ... 
doi:10.1007/s10270-018-0686-1 fatcat:ilcphfxxyng5dcsksvan6vsiyu

A Comparison of Model Migration Tools [chapter]

Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige, Fiona A. C. Polack
2010 Lecture Notes in Computer Science  
To alleviate this, several tools have been proposed to build a migration strategy that automates the migration of existing models.  ...  The criteria used in the comparison aim to support users in selecting the most appropriate tool for their situation.  ...  The authors thank Kenn Hussey and Marcelo Paternostro for reviewing a draft of this paper.  ... 
doi:10.1007/978-3-642-16145-2_5 fatcat:rjt35srdqrdtrgvfy2iijhj46e

Qualifying input test data for model transformations

Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon
2007 Journal of Software and Systems Modeling  
Model transformation is a core mechanism for model-driven engineering (MDE).  ...  Writing complex model transformations is error-prone, and efficient testing techniques are required as for any complex program development.  ...  to use the same model to automatically generate test data.  ... 
doi:10.1007/s10270-007-0074-8 fatcat:kf7wslsfrfhkzmzyreqyjnb42e

A COMPARISON OF COMPLEMENTARY AUTOMATIC MODELING METHODS: RETINA AND PcGets

Teodosio Perez-Amaral, Giampiero M. Gallo, Halbert White
2005 Econometric Theory  
predictive modelling tool called Relevant Transformation of the Inputs Network Approach (RETINA).  ...  In this paper we compare the characteristics of RETINA with PcGets, a well-known automatic modeling method proposed by David Hendry.  ...  Strategy PcGets RETINA a. General to specific. b. Formulate a general unrestricted model, GUM, and reduce it to a parsimonious model using residual tests and hypothesis testing on coefficients. a.  ... 
doi:10.1017/s0266466605050152 fatcat:66k67cg5nbamrmz344p7d6ue4u

Using strategies for assessment of programming exercises

Alex Gerdes, Johan T. Jeuring, Bastiaan J. Heeren
2010 Proceedings of the 41st ACM technical symposium on Computer science education - SIGCSE '10  
We propose to use strategies, in combination with program transformations, as a foundation for functional programming exercise assessment.  ...  Many programming exercise assessment tools are based on testing. A test-based assessment tool for programming exercises cannot ensure that a solution is correct.  ...  ACKNOWLEDGEMENTS The authors would like to thank Stefan Holdermans of Utrecht University for providing a set of suitable programming exercises, accompanied with a large amount of corrected student solutions  ... 
doi:10.1145/1734263.1734412 dblp:conf/sigcse/GerdesJH10 fatcat:mq76f73girbl5fbhqid5pl5l44

Towards the Automation of Metamorphic Testing in Model Transformations [article]

Javier Troya, Sergio Segura, Antonio Ruiz-Cortés
2018 arXiv   pre-print
In this paper we give an insight into our approach to generically define metamorphic relations for model transformations, which can be automatically instantiated given any specific model transformation  ...  The correctness of the model transformation program is crucial for the proper generation of its output, so it should be tested.  ...  Thereby, we propose the automatic generation of metamorphic relations (MRs) for any model transformation.  ... 
arXiv:1804.11121v1 fatcat:rmfami7tavh2ndovdf5emun7ee
« Previous Showing results 1 — 15 out of 417,087 results