University of Twente Student Theses


Automated Testing of Models of Cyber-Physical Systems

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

[img] PDF
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:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page