* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Fri 1 Jun 2018 14:00 - 14:20 at J1 room - Search-Based Software Engineering II Chair(s): Daniel Varro

Database-centric systems strongly rely on SQL queries to manage and manipulate their data. These SQL commands can range from very simple selections to queries that involve several tables, subqueries, and grouping operations. And, as with any important piece of code, developers should properly test SQL queries. In order to completely test a SQL query, developers need to create test data that exercise all possible coverage targets in a query, e.g., JOINs and WHERE predicates. And indeed, this task can be challenging and time-consuming for complex queries. Previous studies have modeled the problem of generating test data as a constraint satisfaction problem and, with the help of SAT solvers, generate the required data. However, such approaches have strong limitations, such as partial support for queries with JOINs, subqueries, and strings (which are commonly used in SQL queries). In this paper, we model test data generation for SQL queries as a search-based problem. Then, we devise and evaluate three different approaches based on random search, biased random search, and genetic algorithms (GAs). The GA, in particular, uses a fitness function based on information extracted from the physical query plan of a database engine as search guidance. We then evaluate each approach in 2,135 queries extracted from three open source software and one industrial software system. Our results show that GA is able to completely cover 98.6% of all queries in the dataset, requiring only a few seconds for each query. Moreover, it does not suffer from the limitations affecting state-of-the art techniques.

Fri 1 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Search-Based Software Engineering IITechnical Papers / Journal first papers at J1 room
Chair(s): Daniel Varro McGill University / Budapest University of Technology and Economics
14:00
20m
Talk
Search-Based Test Data Generation for SQL Queries
Technical Papers
Jeroen Castelein , Maurício Aniche Delft University of Technology, Netherlands, Mozhan Soltani , Annibale Panichella Deflt University of Technology, Arie van Deursen Delft University of Technology
DOI Pre-print Media Attached
14:20
20m
Talk
Multi-Objective Integer Programming Approaches for Solving Optimal Feature Selection Problem
Technical Papers
DOI Pre-print Media Attached
14:40
20m
Talk
Automated Refactoring of OCL Constraints with Search
Journal first papers
Hong Lu , Shuai Wang , Tao Yue Simula Research Laboratory and University of Oslo, Shaukat Ali Simula Research Lab, Jan Nygard
15:00
20m
Talk
Automatically Generating Search Heuristics for Concolic Testing
Technical Papers
Sooyoung Cha Korea University, South Korea, Seongjoon Hong , Junhee Lee , Hakjoo Oh Korea University
Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers