Modellbasiertes Testen

Modellbasiertes Testen ist ein vieldiskutiertes Thema. Daher mag es überraschen, dass es in dem in diesem Buch vorgestellten Klassifikationsschema nicht berücksichtigt wird. Tatsächlich bildet modellbasiertes Testen keine eigenständige Gruppe innerhalb der Testtechniken. Praktisch alle systematischen Testtechniken basieren auf mehr oder weniger expliziten Modellen und können deshalb als modellbasierte Ansätze verstanden werden. Im Folgenden werden daher mehrere an anderer Stelle in diesem Buch beschriebene Techniken referenziert. Neben diesen modellbasierten Tests im weiteren Sinne existieren aber modellbasierte Testtechniken im engeren Sinne. Diese verlangen z. B. die Erstellung aufwändiger Modelle zum Zwecke des Tests, die auf eine automatische Erzeugung von Testfällen und Auswertung von Testläufen zielen. Der Unterschied zu den an anderer Stelle vorgestellten Techniken ist nicht ein anderer Ansatz, sondern eine oft sehr viel umfassendere, systematischere Nutzung von Modellen. Aufgrund der größeren Systematik, Explizitheit und Präzision des modellbasierten Tests im Vergleich zu vielen anderen systematischen Testtechniken ist dem modellbasierten Test hier ein eigenes Kapitel gewidmet.