Efficient automated test generation and analysis for a MiL-environment in MATLAB/Simulink (Masterarbeit)


Markus Herzog


The goal of this thesis is an easy-to-use and automated workflow for test-case generation for a Model-in-the-Loop Environment in MATLAB/Simulink. Based on literature research, different approaches to test case generation are presented. After weighing up the pros and cons, one of these approaches is implemented. Simulink Design Verifier", a toolbox for MATLAB/Simulink, provides the algorithms for test generation and verification. To pass all necessary information to these algorithms, a workflow is presented that is automated to a great extent"