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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish
Title of host publication2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
PublisherIEEE Publications
Pages14-17
ISBN (Electronic)978-1-7281-1075-2
DOIs
Publication statusPublished - 2020
Event2020 IEEE International Conference on Software Testing, Verification and Validation - Porto, hybrid event, Portugal
Duration: 24 Oct 202028 Oct 2020

Conference

Conference2020 IEEE International Conference on Software Testing, Verification and Validation
Abbreviated titleICSTW 2020
CountryPortugal
CityPorto, hybrid event
Period24/10/2028/10/20

Fingerprint Dive into the research topics of 'Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software'. Together they form a unique fingerprint.

  • Cite this

    Wotawa, F., Bozic, J., & Li, Y. (2020). Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software. In 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (pp. 14-17). IEEE Publications. https://doi.org/10.1109/ICSTW50294.2020.00020