Multi-criteria test cases selection for model transformations
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.
Tue 22 Sep Times are displayed in time zone: (UTC) Coordinated Universal Time
09:10 - 10:10: Search-Based TestingResearch Papers / Journal-first Papers / Tool Demonstrations at Wombat Chair(s): Maria KechagiaUniversity College London | |||
09:10 - 09:30 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 - 09:50 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 - 10:00 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 |