Options
2006
Conference Paper
Titel
Abdeckungskriterien in der modellbasierten Testfallgenerierung
Titel Supplements
Stand der Technik und Perspektiven
Abstract
Zur Beurteilung der Qualität 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 zusätzliche Metastrategie für die Kombination von Abdeckungskriterien erforderlich ist.