On Using Ontologies for Testing Compilers

Yihao Li, Franz Wotawa

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Abstract

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.

Originalspracheenglisch
TitelProceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers
Seiten181-184
Seitenumfang4
ISBN (elektronisch)9781728110752
DOIs
PublikationsstatusVeröffentlicht - Okt 2020
Veranstaltung2020 IEEE International Conference on Software Testing, Verification and Validation : ICSTW 2020 - Hybrider Event, Portugal
Dauer: 24 Okt 202028 Okt 2020
https://icst2020.info/

Konferenz

Konferenz2020 IEEE International Conference on Software Testing, Verification and Validation
KurztitelICSTW 2020
LandPortugal
OrtHybrider Event
Zeitraum24/10/2028/10/20
Internetadresse

ASJC Scopus subject areas

  • Software
  • !!Safety, Risk, Reliability and Quality
  • !!Modelling and Simulation

Fingerprint

Untersuchen Sie die Forschungsthemen von „On Using Ontologies for Testing Compilers“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren