NEXTA 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020
Sat 24 Oct 2020 15:00 - 15:20 at D. Luis - Session: Test Generation Chair(s): Serge Demeyer

Unit testing focused on MC/DC criterion is essential in development of safety-critical systems. However design of test data that meet the MC/DC criterion needs detailed manual analysis of branching in units under test by test engineers. To deal with this problem we propose a new test data generation approach based on reinforcement learning, which utilize analogy with a game, in which a gamer, the test engineer, plays in an environment, a unit under test, and tries to achieve the highest possible reward, MC/DC coverage. We evaluated our approach for two different granularity levels, test suite and test case, and for two different action types allowed to the gamer, discrete and continuous action spaces. Preliminary results shows that the proposed approach could solve path explosion problem of symbolic approaches and that the proposed approach achieves at least comparable results to the current state-of-the-art search-based test data generation approaches.

Sat 24 Oct

Displayed time zone: Lisbon change

14:00 - 15:30
Session: Test GenerationNEXTA 2020 at D. Luis
Chair(s): Serge Demeyer University of Antwerp, Belgium
14:00
30m
Full-paper
Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data Generation
NEXTA 2020
Ralf Gerlich Dr. Rainer Gerlich System and Software Engineering, Christian R. Prause German Aerospace Center - Space Administration
Link to publication DOI
14:30
30m
Full-paper
Boundary Value Exploration for Software Analysis
NEXTA 2020
Felix Dobslaw Chalmers University of Technology, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Robert Feldt Chalmers University of Technology
Link to publication DOI
15:00
20m
Short-paper
Test Data Generation for MC/DC Criterion using Reinforcement Learning
NEXTA 2020
Ján Čegiň Faculty of Informatics and Information Technologies Slovak Technical University, Karol Rástočný Faculty of Informatics and Information Technologies, Slovak University of Technology in Bratislava
Link to publication DOI