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.
Originalsprache | englisch |
---|---|
Titel | Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 |
Herausgeber (Verlag) | IEEE Publications |
Seiten | 14-17 |
Seitenumfang | 4 |
ISBN (elektronisch) | 978-1-7281-1075-2 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2020 |
Veranstaltung | 2020 IEEE International Conference on Software Testing, Verification and Validation: ICSTW 2020 - Hybrider Event, Portugal Dauer: 24 Okt. 2020 → 28 Okt. 2020 https://icst2020.info/ |
Konferenz
Konferenz | 2020 IEEE International Conference on Software Testing, Verification and Validation |
---|---|
Kurztitel | ICSTW 2020 |
Land/Gebiet | Portugal |
Ort | Hybrider Event |
Zeitraum | 24/10/20 → 28/10/20 |
Internetadresse |
ASJC Scopus subject areas
- Software
- Sicherheit, Risiko, Zuverlässigkeit und Qualität
- Modellierung und Simulation