@inproceedings{b5b43d8c40b44909a2211cf899e5f47a,
title = "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 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.",
keywords = "Conformance test, Logic controllers, Mealy machine, Model-based test, SFC",
author = "J. Provost and Roussel, {J. M.} and Faure, {J. M.}",
note = "Funding Information: ★This work is funded by the French National Research Agency (TESTEC, R{\'e}f. TLOG 07-022)",
year = "2009",
doi = "10.3182/20090610-3-it-4004.00056",
language = "English",
isbn = "9783902661449",
series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
publisher = "IFAC Secretariat",
number = "PART 1",
pages = "299--304",
booktitle = "2nd IFAC Workshop on Dependable Control of Discrete Systems, DCDS'09 - Proceedings",
edition = "PART 1",
}