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

Julien Provost (1) , Jean-Marc Roussel (1) , Jean-Marc Faure (1)

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

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).

Mots clés: Test de conformité; Test basé sur des modèles; Grafcet; Machine de Mealy; Automate Programmable Industriel

Domaines: Automatique

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Un démonstrateur pour le test de conformité de contrôleurs logiques. 3èmes Journées Démonstrateurs 2010, Nov 2010, Angers, France. ⟨hal-00585235⟩