Model-base testing - 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. We will then look at which modeling methods are useful for testing embedded systems. Finally, examples are given to demonstrate how MBT can look in practice.