Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers

Julien Provost (1) , Jean-Marc Roussel (2) , Jean-Marc Faure (2)

1 SES - Assistant Professorship for Safe Embedded Systems
2 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

Conformance test is a functional test technique which is aiming to check whether an implementation, seen as a black-box with inputs/outputs, conforms to its specification. Numerous theoretical worthwhile results have been obtained in the domain of conformance test of finite state machines. The optimization criterion which is usually selected to build the test sequence is the minimum-length criterion. Based on experimental results, this paper focuses on the generation of a Single Input Change (SIC) test sequence from a specification model represented as a Mealy machine; such a sequence is aiming at preventing from erroneous test verdicts due to incorrect detection of synchronous input changes by the Programmable Logic Controller (PLC) under test. A method based on symbolic calculus to obtain the part of the specification that can be tested with a SIC sequence is first presented. Then, an algorithm to build the SIC test sequence is detailed; three solutions are proposed, according to the connectivity properties of the SIC-testable part.

Mots clés: Conformance test; Formal Methods; Programmable Logic Controller; Test Sequence; Mealy machine; Test Verdict; Single Input Change

Domaines: Automatique

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers. IEEE Transactions on Industrial Informatics, 2014, pp.1. ⟨10.1109/TII.2014.2315972⟩. ⟨hal-00982396⟩