Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software
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.
Sat 24 OctDisplayed time zone: Lisbon change
11:00 - 12:30
Session IIA-MOST at Porto
Chair(s): Angelo Gargantini University of Bergamo
A-MOST2020 is held as a virtual workshop via Zoom. Contact firstname.lastname@example.org for the details.
|A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements|
Aitor Arrieta Mondragon Goi Eskola Politeknikoa, Joseba Andoni Agirre Universidad Mondragon , Goiuria Sagardui University of MondragonLink to publication DOI
|A Model-Based Security Testing Approach for Automotive Over-The-Air Updates|
Shahid Mahmood Coventry University , Alexy Fouillade Ecole superieure d’electronique de l’Ouest, Hoang Nga Nguyen Coventry University , Siraj Ahmed Shaikh Coventry University, Coventry, UKLink to publication DOI
|Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software|
Franz Wotawa Technische Universitaet Graz, Josip Bozic Graz University of Technology (Alumnus), Yihao Li Institute of Technology, Graz University of TechnologyLink to publication DOI