On-the-fly conformance testing of safety PLC code using QuickCheck
Paper in proceedings, 2019

In this paper, an approach based on the IOCOS testing relation to test safety PLC code using the tool QuickCheck is presented. Testing and validation of the safety PLC code is typically carried out on a physical system using checklists. These checklists are developed by engineers using system specification. However, due to the manual nature of checklist generation and execution, certain test cases can be overlooked and can lead to human accidents. The presented approach allows on-the-fly generation and execution of test cases, which expands the scope of testing by including test cases unconceived during checklist generation. Furthermore, it is demonstrated how errors in the safety PLC code are uncovered based on the IOCOS relation.

Discrete Event Systems


Input-Output Conformance


Model-Based Testing


Adnan Khan

Chalmers, Electrical Engineering, Systems and control, Automation

David Thonnessen

RWTH Aachen University

Martin Fabian

Chalmers, Electrical Engineering, Systems and control, Automation

IEEE International Conference on Industrial Informatics (INDIN)

19354576 (ISSN)

Vol. 2019-July 419-424 8972277

17th IEEE International Conference on Industrial Informatics, INDIN 2019
Helsinki-Espoo, Finland,

Systematic testing of cyber-physical systems (SyTeC)

Swedish Research Council (VR), 2017-01-01 -- 2022-12-31.

Subject Categories

Embedded Systems

Computer Science

Computer Systems



More information

Latest update