Construction d'une séquence de test minimale à partir d'une spécification GRAFCET

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

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée
2 LIISI - Laboratoire d'Ingénierie Intégrée des Systèmes Industriels

Cette communication est relative au test de conformité de systèmes électroniques micro-programmés spécifiés en Grafcet. La méthode proposée permet de construire automatiquement une séquence de test de longueur minimale permettant d'effectuer le test exhaustif du comportement du système étudié. Cette méthode tire parti de précédents résultats sur la construction d'une représentation d'un grafcet par une machine à états, et sur le test de machines de Mealy. Cette contribution sera illustrée par un exemple simple.

Mots clés: Test de conformité; Test piloté par le modèle; Grafcet; Machine de Mealy; Contrôleurs logiques

Domaines: Automatique / Robotique

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Construction d'une séquence de test minimale à partir d'une spécification GRAFCET. 3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'09), Mar 2009, Angers, France. CDRom papier N°19. ⟨hal-00369851⟩