Model-based testing of PLC programs with appropriate conformance relations

Anais Guignard (1) , Jean-Marc Faure (1) , Gregory Faraut (1)

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

Numerous theoretical results have been obtained in the field of conformance testing, a very promising formal technique to improve dependability of critical systems. Nevertheless, developing on this basis PLC test techniques that produce correct conformance verdicts requires to take into account the real technological features of PLC. This paper proposes conformance relations that meet this objective. Examples illustrate the benefits of the contribution.

Mots clés: Conformance test; Programmable Logic Controllers; Critical systems; Test verdict; Test duration; Mealy machine

Domaines: Sciences de l'ingénieur [physics]

Anais Guignard, Jean-Marc Faure, Gregory Faraut. Model-based testing of PLC programs with appropriate conformance relations. IEEE Transactions on Industrial Informatics, 2017, ⟨10.1109/TII.2017.2695370⟩. ⟨hal-01511071⟩