Un démonstrateur pour le test de conformité de contrôleurs logiques

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 proposée dans cette communication s'appuie sur les travaux relatifs au test de machines de Mealy et 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 œuvre cette technique de test sur des automates programmables industriels (API).