Modellbasiertes Testen ist eine Technik zur Ueberpruefung des Verhaltens eines Systems, die auf dem Einsatz von Modellen, d.h. Abstraktionen, des Systems beruht. Verschiedene Einsatzmoeglichkeiten von Modellen werden untersucht. Darunter fallen die Reihenfolge der Entwicklung von Modell und System (Modell-Code, Code-Modell oder unabhaengige Entwicklung), die Rolle von Modellen bei der Testfallgenerierung sowie als Orakel bei der Testdurchfuehrung und schliesslich der Einsatz von Modellen bei Systementwicklung, -verifikation und -validierung.     «

Modellbasiertes Testen ist eine Technik zur Ueberpruefung des Verhaltens eines Systems, die auf dem Einsatz von Modellen, d.h. Abstraktionen, des Systems beruht. Verschiedene Einsatzmoeglichkeiten von Modellen werden untersucht. Darunter fallen die Reihenfolge der Entwicklung von Modell und System (Modell-Code, Code-Modell oder unabhaengige Entwicklung), die Rolle von Modellen bei der Testfallgenerierung sowie als Orakel bei der Testdurchfuehrung und schliesslich der Einsatz von Modellen bei Sys...     »