Modellbasiertes Testen - Was ist das eigentlich und was kann man damit erreichen?
Wie können eingebettete Systeme so effizient und gründlich wie möglich getestet werden? Kann modellbasiertes Testen (MBT) dabei helfen? Was ist MBT überhaupt, und wie kann ich es anwenden?
In diesem Vortrag werden wir uns zunächst ansehen, was Modelle sind und welchen Vorteil sie grundsätzlich für die Entwicklung und das Testen bringen können. Dann werden wir uns ansehen, welche Modellierungsmethoden für das Testen eingebetteter Systeme nützlich sind. Schließlich wird anhand von Beispielen gezeigt, wie MBT in der Praxis aussehen kann.