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.
Original language | English |
---|---|
Title of host publication | Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 |
Publisher | IEEE Publications |
Pages | 14-17 |
Number of pages | 4 |
ISBN (Electronic) | 978-1-7281-1075-2 |
DOIs | |
Publication status | Published - 2020 |
Event | 2020 IEEE International Conference on Software Testing, Verification and Validation: ICSTW 2020 - Hybrider Event, Portugal Duration: 24 Oct 2020 → 28 Oct 2020 https://icst2020.info/ |
Conference
Conference | 2020 IEEE International Conference on Software Testing, Verification and Validation |
---|---|
Abbreviated title | ICSTW 2020 |
Country/Territory | Portugal |
City | Hybrider Event |
Period | 24/10/20 → 28/10/20 |
Internet address |
Keywords
- compiler testing
- model-based testing
- Ontologies
- security testing
- testing autonomous systems
ASJC Scopus subject areas
- Software
- Safety, Risk, Reliability and Quality
- Modelling and Simulation