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

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.