Utilisés pour la commande des systèmes critiques, les contrôleurs logiques doivent faire l'objet de tests rigoureux afin de garantir le respect du fonctionnement attendu.

La méthode de test développée dans le projet TELOCO s'appuie sur les travaux relatifs au test de machines de Mealy. Elle permet de générer automatiquement une séquence de test exhaustive pour une spécification donnée dans le langage normalisé Grafcet. Un logiciel et un banc de test ont été développés pour mettre en oeuvre cette technique de test sur des automates programmables industriels (API).

Le test de conformité d'un contrôleur logique est effectué en boîte noire et consiste à :

• solliciter le contrôleur à tester par une séquence d'entrée pré-établie ;
• comparer la séquence de sortie observée à la séquence de sortie attendue.