Title :
Testing programmable logic controllers from finite state machines specification
Author :
Provost, Julien ; Roussel, Jean-Marc ; Faure, Jean-Marc
Author_Institution :
LURPA, ENS Cachan, Cachan, France
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.
Keywords :
conformance testing; finite state machines; programmable controllers; FSM; finite state machines specification; programmable logic controllers; Automata; Cost accounting; Error analysis; Finite element methods; Optimization; Silicon carbide; Synchronization;
Conference_Titel :
Dependable Control of Discrete Systems (DCDS), 2011 3rd International Workshop on
Conference_Location :
Saarbrucken
Print_ISBN :
978-1-4244-8969-5
DOI :
10.1109/DCDS.2011.5970309
