Test sequence construction from SFC specification

Abstract : This paper focuses on conformance test of electronic programmable devices whose specification is given in Sequential Function Chart (SFC). More precisely, a method is proposed to obtain automatically, from this specication, one minimum length test sequence which permits the exhaustive test of the behavior of the device. This method takes advantage of previous results on construction of the state machine representation of a SFC and on test of Mealy machines; conversely, it extends the industrial use possibilities of this latter technique. The contribution is exemplified on a simple model.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00394454
Contributeur : Jean-Marc Roussel <>
Soumis le : jeudi 11 juin 2009 - 16:59:14
Dernière modification le : jeudi 9 février 2017 - 15:04:00
Document(s) archivé(s) le : vendredi 11 juin 2010 - 00:37:38

Fichier

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

Identifiants

  • HAL Id : hal-00394454, version 1

Collections

Citation

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Test sequence construction from SFC specification. 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), Jun 2009, Bari, Italy. pp.341-346. ⟨hal-00394454⟩

Partager

Métriques

Consultations de la notice

151

Téléchargements de fichiers

210