A-MOST 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020
Sat 24 Oct 2020 12:00 - 12:30 at Porto - Session II Chair(s): Angelo Gargantini

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 Oct

Displayed 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 amost2020@easychair.org for the details.

11:00
30m
Full-paper
A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements
A-MOST
Aitor Arrieta Mondragon Goi Eskola Politeknikoa, Joseba Andoni Agirre Universidad Mondragon , Goiuria Sagardui University of Mondragon
Link to publication DOI
11:30
30m
Full-paper
A Model-Based Security Testing Approach for Automotive Over-The-Air Updates
A-MOST
Shahid Mahmood Coventry University , Alexy Fouillade Ecole superieure d’electronique de l’Ouest, Hoang Nga Nguyen Coventry University , Siraj Ahmed Shaikh Coventry University, Coventry, UK
Link to publication DOI
12:00
30m
Full-paper
Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software
A-MOST
Franz Wotawa Technische Universitaet Graz, Josip Bozic Graz University of Technology (Alumnus), Yihao Li Institute of Technology, Graz University of Technology
Link to publication DOI