Testing Programmable Logic Controllers from Finite State Machines specification

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

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

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.

Mots clés: Conformance test; Model-based test; Test sequence generation; Logic systems; Expreiments; Single Input Change; SIC

Domaines: Automatique; Automatique / Robotique

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Testing Programmable Logic Controllers from Finite State Machines specification. 3rd International Workshop on Dependable Control of Discrete Systems - DCDS 2011, Jun 2011, Saarbrücken, Germany. pp.0--0. ⟨hal-00585242⟩