Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software

Franz Wotawa, Josip Bozic, Yihao Li

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

Abstract

Model-based testing has been successfully applied for test case generation in practice. Its underlying idea is to utilize models of the system for obtaining system inputs and their corresponding expected outputs. In this paper, we report on experiences gained when using a different methodology relying on models, i.e., ontology-based testing, for generating test suites in practice. Instead of modeling the system’s behavior, ontology-based testing relies on models of the system’s environment, i.e., an environmental ontology. Test cases are generated from ontologies converting them into an input model for combinatorial testing, and using a combinatorial testing algorithm for finally computing the test cases. We show how ontology-based testing can be applied in three different application domains, i.e., testing autonomous driving functionality, security testing, and compiler testing, discuss issues arising and indicate future research objectives.
Originalspracheenglisch
TitelProceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
Herausgeber (Verlag)IEEE Publications
Seiten14-17
Seitenumfang4
ISBN (elektronisch)978-1-7281-1075-2
DOIs
PublikationsstatusVeröffentlicht - 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
Land/GebietPortugal
OrtHybrider Event
Zeitraum24/10/2028/10/20
Internetadresse

ASJC Scopus subject areas

  • Software
  • Sicherheit, Risiko, Zuverlässigkeit und Qualität
  • Modellierung und Simulation

Dieses zitieren