Outil de test automatisé permettant de vérifier l'absence d'erreurs dans des spécifications logicielles et de valider le bon fonctionnement d'un exécutable en ouvrant des fenêtres de traçage graphique.