Wie kann man Embedded Systeme möglichst effizient und gründlich testen? Kann model-based-testing (MBT) helfen? Was ist MBT überhaupt und wie kann ich es anwenden?
Im Vortrag betrachten wir zunächst, was Modelle sind und welchen Vorteil sie grundsätzlich in Entwicklung und Test bringen können. Durch die Abstraktion in den Modellen erreicht man ein besseres Verständnis für den Menschen. Durch Automatisierung können viele Schritte wesentlich beschleunigt und Fehler vermieden werden.
Anschließend sehen wir uns an welche Modellierungsmethoden fürs Testen von Embedded Systemen sinnvoll sind. In der Regel benötigt man für den Test von Embedded Systemen sowohl Methoden für die Ableitung und Generierung von Test-Cases als auch Methoden zur Umgebungssimulation. Bei beiden Aufgaben können Modelle helfen.
Abschließend wird anhand von Beispielen demonstriert, wie MBT in der Praxis aussehen kann.