No abstract

No abstract

No abstract

ZusammenfassungDer Einsatz von Modellen als Grundlage für eine automatisierte Testfallerzeugung bietet einen wesentlichen Vorteil durch eine Erhöhung der Testabdeckung, eine vereinfachte Wiederholbarkeit der Testerstellung und damit verbunden einer Qualitätssteigerung der Produkte. In diesem Beitrag wird eine Methode zur Modellsynthese vorgestellt. Dabei wird aus formalisierten Anforderungen automatisiert ein Spezifikationsmodell für den Zweck der automatisierten Testfallerzeugung generiert. Im Zuge der Modellgenerierung erfolgt eine Verifizierung des Modells, um widersprüchliche oder redundante Beschreibungen aufzudecken.

No abstract