Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published April 3, 2020 | Version v1
Conference paper Open

A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements

  • 1. Mondragon University

Description

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.

Files

AMOST_Arrieta.pdf

Files (239.5 kB)

Name Size Download all
md5:216738be7a2e24765283f2a7eae09827
239.5 kB Preview Download

Additional details

Funding

HiFi-ELEMENTS – High Fidelity Electric Modelling and Testing 769935
European Commission