IWCT 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020

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.

This program is tentative and subject to change.

Sat 24 Oct
Times are displayed in time zone: (GMT) Azores change

iwct-2020-papers
11:00 - 12:30: IWCT 2020 - Test Generation and Combinatorial Testing Applications Session at Farfetch (D. Maria)
iwct-2020-papers11:00 - 11:30
Full-paper
Andrea BombardaUniversity of Bergamo, Angelo GargantiniUniversity of Bergamo
iwct-2020-papers11:30 - 12:00
Short-paper
Rick KuhnNatl Institute of Standards & Technology, Raghu KackerNational Institute of Standards and Technology, Jeff LeiUniversity of Texas at Arlington, Dimitris SimosSBA Research
iwct-2020-papers12:00 - 12:15
Full-paper
Konrad FögenRWTH Aachen University, Horst LichterRWTH Aachen University
iwct-2020-papers12:15 - 12:30
Short-paper
Yihao LiInstitute of Technology, Graz University of Technology, Franz WotawaTechnische Universitaet Graz