IWCT 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020
Sat 24 Oct 2020 15:30 - 15:40 at Farfetch (D. Maria) - Combinatorial Testing Tools Session

Testing compilers requires coming up with textual input that can be parsed. Depending on the input the compiler may indicate an error, e.g., a lexical or a syntactical error, or may proceed converting the input to the output format. In this paper, we focus on the parsing functionality of a compiler and discuss an approach that is based on combinatorial testing for generating textual inputs. In particular, we make use of ontology-based testing, where we come up with an ontology describing potential inputs. Originally, ontology-based testing has been developed for testing safety-critical systems where the underlying idea was to use ontologies to describe the concepts of an environment of the system under test, and to use combinatorial testing for extracting critical scenarios based on these concepts. Making use of ontology-based testing for compilers extends the applicability of this testing method to the domain of compiler testing. Besides discussing the foundations behind the approach, we make use of a case study to illustrate the applicability of the proposed method.

Sat 24 Oct

Displayed time zone: Lisbon change

15:30 - 16:40
Combinatorial Testing Tools SessionIWCT 2020 at Farfetch (D. Maria)
15:30
10m
Short-paper
On Using Ontologies for Testing Compilers
IWCT 2020
Yihao Li Institute of Technology, Graz University of Technology, Franz Wotawa Technische Universitaet Graz
Link to publication DOI
15:40
20m
Full-paper
A Comparison Infrastructure for Fault Characterization Algorithms
IWCT 2020
Torben Friedrichs RWTH Aachen University, Konrad Fögen RWTH Aachen University, Horst Lichter RWTH Aachen University
Link to publication DOI
16:00
20m
Full-paper
Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application
IWCT 2020
Jan Richter Czech Technical University in Prague, Bestoun S. Ahmed Karlstad University, Miroslav Bures Czech Technical University in Prague, Cleber R. Rosa Junior Red Hat, Inc.
Link to publication DOI
16:20
20m
Full-paper
CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays
IWCT 2020
Michael Wagner SBA Research, Kristoffer Kleine SBA Research, Dimitris Simos SBA Research, Rick Kuhn Natl Institute of Standards & Technology, Raghu Kacker National Institute of Standards and Technology
Link to publication DOI