A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements
Simulation models are frequently used to model, simulate and test complex systems (e.g., Cyber-Physical Systems (CPSs)). To allow full test automation, test cases and test oracles are required. Safety standards (e.g., the ISO 26262) highly recommend that the test cases of systems like CPSs are associated to requirements. As a result, typically, test cases that need to cover specific requirements are manually generated in the context of simulation models. This is, of course, a time-consuming and non-systematic process. However, the current practice lacks tools that generate test cases by considering functional requirements for simulation-based testing. In this short paper we propose a Domain-Specific Language (DSL) for specifying requirements for simulation-based testing in an easy manner. These files are later parsed by an automatic test generation algorithm, which generates test cases that follow the ASAM-XiL standard. The tool was integrated with two professional tools: (1) SYNECT from dSPACE and (2) xMOD from FEV. An initial validation was also performed with an industrial simulation model from YASA motors.
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