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

Communication interfaces are particularly challenging to test using automatically generated test data. The test data sent through the interface must be ”valid enough” to overcome initial sanity checks of the interface and reach functions deep inside the integrated software. Machine-readable information about what data forms ”valid enough” messages is rarely available to test data generation tools. So instead, we evolve the messages with an evolutionary algorithm. This enables efficient fuzz testing for the communication interface between a satellite and its ground station. In this paper, using an algorithm implementation in our fuzzing tool DCRTT, we investigate the impact of algorithm parameter selection on the performance and the possibility of efficient general default parameter values. The preliminary results promise significant improvements to automated testing with respect to software security testing and quality assurance.

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