Software-Qualität

Abstract

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.