Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Tue 22 Sep 2020 09:30 - 09:50 at Wombat - Search-Based Testing Chair(s): Maria Kechagia

Model transformations play an important role in the evolution of systems in various fields such as healthcare, automotive and aerospace industry. Thus, it is important to check the correctness of model transformation programs. Several approaches have been proposed to generate test cases for model transformations based on different coverage criteria (e.g., statements, rules, metamodel elements, etc.). However, the execution of a large number of test cases during the evolution of transformation programs is time-consuming and may include a lot of overlap between the test cases. In this paper, we propose a test case selection approach for model transformations based on multi-objective search. We use the non-dominated sorting genetic algorithm (NSGA-II) to find the best trade-offs between two conflicting objectives: (1) maximize the coverage of rules and (2) minimize the execution time of the selected test cases. We validated our approach on several evolution cases of medium and large ATLAS Transformation Language (ATL) programs.

Conference Day
Tue 22 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

09:10 - 10:10
Search-Based TestingJournal-first Papers / Tool Demonstrations / Research Papers at Wombat
Chair(s): Maria KechagiaUniversity College London
09:10
20m
Talk
Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives
Research Papers
Pouria DerakhshanfarDelft University of Technology, Xavier DevroeyDelft University of Technology, Andy ZaidmanDelft University of Technology, Arie van DeursenDelft University of Technology, Netherlands, Annibale PanichellaDelft University of Technology
DOI Pre-print Media Attached
09:30
20m
Talk
Multi-criteria test cases selection for model transformations
Journal-first Papers
Bader AlkhaziKuwait University, Chaima AbidUniversity of Michigan, Marouane KessentiniUniversity of Michigan, Dorian LeroyJKU Linz, Manuel WimmerJohannes Kepler University Linz
Link to publication DOI
09:50
10m
Talk
Botsing, a Search-based Crash Reproduction Framework for Java
Tool Demonstrations
Pouria DerakhshanfarDelft University of Technology, Xavier DevroeyDelft University of Technology, Annibale PanichellaDelft University of Technology, Andy ZaidmanDelft University of Technology, Arie van DeursenDelft University of Technology, Netherlands
DOI Pre-print Media Attached