What is it really and what can be achieved?
How can embedded systems be tested as efficiently and thoroughly as possible? Can model-based-testing (MBT) help? What is MBT anyway, and how can I apply it?
In this talk, we will first look at what models are and what advantage they can basically bring to development and testing. Through the abstraction in the models, you can achieve a better understanding for a problem and the solution. Through automation, many steps can be accelerated significantly and errors can be avoided.
We will then look at which modeling methods are useful for testing embedded systems. Usually, embedded system testing requires methods for deriving and generating test cases as well as methods for environment simulation. Models can help with both tasks.
Finally, examples are given to demonstrate how MBT can look in practice.
The miniHIL at PROTOS: https://www.protos.de/en/products/miniHIL
PROTOS Website: https://www.protos.de/en
