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.

Input-Output Conformance

PLC

Model-Based Testing

Discrete Event Systems

Safety

Författare

Adnan Khan

Chalmers, Elektroteknik, System- och reglerteknik, Automation

David Thonnessen

RWTH Aachen University

Martin Fabian

Chalmers, Elektroteknik, System- och reglerteknik, 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,

Ämneskategorier

Inbäddad systemteknik

Datavetenskap (datalogi)

Datorsystem

DOI

10.1109/INDIN41052.2019.8972277

Mer information

Senast uppdaterat

2020-04-21