Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven.

Zur Beurteilung der Qualitat von Testsuiten ist der Abdeckungsgrad ein wichtiges Kriterium. Beim modellbasierten Blackbox-Test wird dabei nicht die Abdeckung im Ziel-Code, sondern in der Spezifikation gemessen. Wir beschreiben anhand eines konkreten Beispiels die von aktuellen Testfallgenerierungswerkzeugen erreichte Abdeckung und argumentieren, dass eine zusatzliche Metastrategie fur die Kombination von Abdeckungskriterien erforderlich ist.