Testing programmable logic controllers from finite state machines specification
Julien Provost, Jean‐Marc Roussel, Jean-Marc Faure · 2011
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.