University of Twente Student Theses

Login

Automated Testing of Models of Cyber-Physical Systems

Jansen, Bas (2019) Automated Testing of Models of Cyber-Physical Systems.

[img] PDF
4MB
Abstract:With cyber-physical systems becoming more prevalent in critical environments, the testing of such systems becomes more important as well. This is a challenge due to the complexity, multidisciplinary nature and unique purpose of a cyber-physical system. In this research, a tool has been developed that is capable of testing a model of a cyber-physical system in an automated way, inspired by existing software testing techniques. With this tool, a user can define tests through a newly developed, Gherkin-style inspired testing language. This language is designed with reusability in mind to reduce repetitive writing. In this testing language, a user can define the temporal behavior of a cyber-physical system through a combination of LTL formulas, boolean equations, mathematical functions and model variables. Through simulation of a model of a cyber-physical system, the tool obtains testing data with which it can process test definitions and draw a True or False conclusion. The final product is modular to allow for switching out components and simulators to match the user's preferences. Multiple different simulators are supported so that the user can use the simulator fitting for their project.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Embedded Systems MSc (60331)
Link to this item:http://purl.utwente.nl/essays/80034
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page