On-the-fly conformance testing of safety PLC code using QuickCheck
Paper i proceeding, 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, Elektroteknik, System- och reglerteknik

David Thonnessen

RWTH Aachen University

Martin Fabian

Chalmers, Elektroteknik, System- och reglerteknik

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,

Systematisk testning av cyberfysiska system (SyTeC)

Vetenskapsrådet (VR) (2016-06204), 2017-01-01 -- 2022-12-31.


Inbäddad systemteknik

Datavetenskap (datalogi)




Mer information

Senast uppdaterat