Modellbasiertes Testen beruht auf expliziten Verhaltensmodellen von einem zu testenden System (SUT) und seiner Umwelt. Abläufe des Modells des SUT werden als Testfälle für das SUT interpretiert: Ein- und erwartete Ausgaben.

Der Vortrag skizziert die zentralen Ideen, Annahmen, Versprechen und Evidenz für den erfolgreichen Einsatz des modellbasierten Testens. Insbesondere wird eine gemeinsam mit BMW erstellte Studie präsentiert, anhand derer der Ansatz exemplarisch evaluiert wurde. In zukünftigen Arbeiten zu überprüfende Ergebnisse sind: (1) Modellbasierte Tests decken wesentlich mehr Fehler auf als Tests, die ohne Modell entworfen wurden. (2) Modellbasierte Tests finden insbesondere Fehler in der Spezifikation. (3) Handerstellte modellbasierte Tests finden etwa soviele Fehler wie größere automatisch generierte Testsuites. (4) Der Zusammenhang zwischenstrukturellen Überdeckungskriterien und Fehlerdetektion lässt keine eindeutigen Schlüsse zu.