Testing Programmable Logic Controllers from Finite State Machines specification

Abstract : This paper shows, on the basis of experiments, that execution of conformance tests of programmable logic controllers with minimum-length test sequences built from specifications in FSMs may yield spurious results. A new approach to build test sequences is then proposed to remove, or at least strongly lessen, this issue.
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00585242
Contributor : Julien Provost <>
Submitted on : Friday, April 29, 2011 - 11:28:23 AM
Last modification on : Thursday, February 9, 2017 - 3:53:07 PM
Long-term archiving on : Saturday, July 30, 2011 - 2:34:37 AM

File

PROVOST_Testing_PLC_from_FSM_s...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00585242, version 1

Collections

Citation

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Testing Programmable Logic Controllers from Finite State Machines specification. 3rd International Workshop on Dependable Control of Discrete Systems - DCDS 2011, Jun 2011, Saarbrücken, Germany. pp.0--0. ⟨hal-00585242⟩

Share

Metrics

Record views

210

Files downloads

887