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

Résumé : 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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00369851
Contributeur : Jean-Marc Roussel <>
Soumis le : dimanche 22 mars 2009 - 12:59:04
Dernière modification le : jeudi 9 février 2017 - 15:03:29
Document(s) archivé(s) le : jeudi 10 juin 2010 - 18:03:54

Fichier

2009_JDMACS_JP_JMR_JMF.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00369851, version 1

Collections

Citation

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⟩

Partager

Métriques

Consultations de la notice

187

Téléchargements de fichiers

90