Eine Blackbox-Prüfungsstrategie basierend auf Zweben Et Al.?s spezifikationsbasierte Daten Angemessenheit Testkriterien wird untersucht. Der Ansatz konzentriert sich auf ein Flussdiagramm aus einer Komponente erzeugen? s-Spezifikation und Analoga von White-Box-Strategien zuweisen. Eine experimentelle Bewertung der Schuld erkennen von Fähigkeit der Test-Sets, die mit diesem Ansatz generiert wurde für drei der Zweben durchgeführt? s Kriterien mit Mutationsanalyse. Mithilfe von Voraussetzung und Nachbedingung invariante Prüfung Wrapper für die Komponente unter Test wurden Fehler Erkennung Verhältnisse wettbewerbsfähig mit White-Box-Techniken erreicht. Erfahrungen mit einem Prototyp Test Set Generator verwendet im Experiment, dass praktische Automatisierung möglich sein kann.