Robotique

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

Published on - 3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'09)

Authors: Julien Provost, Jean-Marc Roussel, Jean-Marc Faure

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.