TY - GEN
T1 - Testing programmable logic controllers from finite state machines specification
AU - Provost, Julien
AU - Roussel, Jean Marc
AU - Faure, Jean Marc
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=80052108084&partnerID=8YFLogxK
U2 - 10.1109/DCDS.2011.5970309
DO - 10.1109/DCDS.2011.5970309
M3 - Conference contribution
AN - SCOPUS:80052108084
SN - 9781424489701
T3 - 2011 3rd International Workshop on Dependable Control of Discrete Systems, DCDS'11 - Conference Proceedings
SP - 1
EP - 6
BT - 2011 3rd International Workshop on Dependable Control of Discrete Systems, DCDS'11 - Conference Proceedings
T2 - 2011 3rd International Workshop on Dependable Control of Discrete Systems, DCDS'11
Y2 - 15 June 2011 through 17 June 2011
ER -