Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1109/INDIN41052.2019.8972277 | 2019 IEEE 17th International Conference on Industrial Informatics (INDIN) |
Keywords | Field | DocType |
Safety,PLC,Input-Output Conformance,Model-Based Testing,Discrete Event Systems | Checklist,Systems engineering,Software engineering,Physical system,On the fly,Conformance testing,Model-based testing,Test case,Engineering,System requirements specification | Conference |
Volume | ISSN | ISBN |
1 | 1935-4576 | 978-1-7281-2928-0 |
Citations | PageRank | References |
0 | 0.34 | 3 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Adnan Khan | 1 | 2 | 1.12 |
| David Thönnessen | 2 | 0 | 0.34 |
| Martin Fabian | 3 | 204 | 27.91 |