Une stratégie de test boîte noire basée sur Zweben et al. ?critères de pertinence des données s basée sur la spécification de test est exploré. L'approche met l'accent sur la génération à partir d'un composant une flowgraph? s spécification et lui appliquer analogues de stratégies de boîte blanche. Évaluer la capacité de détecter les pannes des ensembles de test généré à l'aide de cette approche expérimentale a été réalisée pour trois des Zweben? critères s en utilisant l'analyse de mutation. À l'aide de précondition, postcondition et invariant wrappers autour du composant sous test de vérification, rapports de détection faute compétitifs avec des techniques de boîte blanche ont été atteints. Expérience avec un prototype test set générateur utilisé dans l'expérience suggère que l'automatisation pratique peut être faisable.