Test sequence construction from SFC specification

J. Provost, J. M. Roussel, J. M. Faure

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations

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 specification, 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.

Original languageEnglish
Title of host publication2nd IFAC Workshop on Dependable Control of Discrete Systems, DCDS'09 - Proceedings
PublisherIFAC Secretariat
Pages299-304
Number of pages6
EditionPART 1
ISBN (Print)9783902661449
DOIs
StatePublished - 2009
Externally publishedYes

Publication series

NameIFAC Proceedings Volumes (IFAC-PapersOnline)
NumberPART 1
Volume2
ISSN (Print)1474-6670

Keywords

  • Conformance test
  • Logic controllers
  • Mealy machine
  • Model-based test
  • SFC

Fingerprint

Dive into the research topics of 'Test sequence construction from SFC specification'. Together they form a unique fingerprint.

Cite this