caa a22 4500 445835427 CHVBK 20180317145329.0 cr unu---uuuuu 170323e20110601xx s 000 0 eng 10.1007/s10515-010-0079-3 doi (NATIONALLICENCE)springer-10.1007/s10515-010-0079-3 Example-based model-transformation testing [Elektronische Daten] [Marouane Kessentini, Houari Sahraoui, Mounir Boukadoum] A major concern in model-driven engineering is how to ensure the quality of the model-transformation mechanisms. One validation method that is commonly used is model transformation testing. When using this method, two important issues need to be addressed: the efficient generation/selection of test cases and the definition of oracle functions that assess the validity of the transformed models. This work is concerned with the latter. We propose a novel oracle function for model transformation testing that relies on the premise that the more a transformation deviates from well-known good transformation examples, the more likely it is erroneous. More precisely, the proposed oracle function compares target test cases with a base of examples that contains good quality transformation traces, and then assigns a risk level to them accordingly. Our approach takes inspiration from the biological metaphor of immune systems, where pathogens are identified by their difference with normal body cells. A significant feature of the approach is that one no longer needs to define an expected model for each test case. Furthermore, the detected faulty candidates are ordered by degree of risk, which helps the tester inspect the results. The validation results on a transformation mechanism used by an industrial partner confirm the effectiveness of our approach. Springer Science+Business Media, LLC, 2011 Model transformation testing nationallicence Artificial immune system nationallicence Traceability nationallicence Kessentini Marouane DIRO, Université de Montréal, Montréal, Canada aut Sahraoui Houari DIRO, Université de Montréal, Montréal, Canada aut Boukadoum Mounir DI, Université du Québec à Montréal, Montréal, Canada aut Automated Software Engineering Springer US; http://www.springer-ny.com 18/2(2011-06-01), 199-224 0928-8910 18:2<199 2011 18 10515 https://doi.org/10.1007/s10515-010-0079-3 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10515-010-0079-3 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Kessentini Marouane DIRO, Université de Montréal, Montréal, Canada aut NATIONALLICENCE 700 1- Sahraoui Houari DIRO, Université de Montréal, Montréal, Canada aut NATIONALLICENCE 700 1- Boukadoum Mounir DI, Université du Québec à Montréal, Montréal, Canada aut NATIONALLICENCE 773 0- Automated Software Engineering Springer US; http://www.springer-ny.com 18/2(2011-06-01), 199-224 0928-8910 18:2<199 2011 18 10515 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer