A Two-phase Metamorphic Approach for Testing Industrial Control Systems

Gaadha Sudheerbabu; Tanwir Ahmad; Filip Sebek; Dragos Truscan; Jüri Vain; Ivan Porres

doi:10.48550/arXiv.2208.09261

A Two-phase Metamorphic Approach for Testing Industrial Control Systems

Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, Ivan Porres

Information Technology

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

4 Citations (Scopus)

Abstract

We elaborate on a metamorphic approach for testing industrial control systems. The proposed approach consists of two phases: an exploration phase in which we learn about fault patterns of the system under test and an exploitation phase where the observed fault patterns are used for targeted testing. Our method extracts metamorphic relations and input space of the system from its requirements. The seed input used for testing is extracted from the execution logs of the system and used to generate source tests and follow-up tests automatically. The morphed input is constructed based on the seed input and refined using a set of constraints. The approach is exemplified on a position control system and the results show that it is effective in discovering faults with an increased level of automation.

Original language	English
Title of host publication	2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)
Publisher	IEEE
ISBN (Electronic)	978-1-6654-9996-5
ISBN (Print)	978-1-6654-9997-2
DOIs	https://doi.org/10.48550/arXiv.2208.09261 https://doi.org/10.1109/ETFA52439.2022.9921439
Publication status	Published - 2022
MoE publication type	A4 Article in a conference publication
Event	International Conference on Emerging Technologies and Factory Automation - Duration: 6 Sept 2022 → …

Publication series

Name	IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
Volume	2022-September
ISSN (Print)	1946-0740
ISSN (Electronic)	1946-0759

Conference

Conference	International Conference on Emerging Technologies and Factory Automation
Abbreviated title	ETFA
Period	06/09/22 → …

Access to Document

VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps Environments
Truscan, D. (Principal Investigator), Porres Paltor, I. (Co-Principal Investigator), Ashraf, A. (Principal Investigator), Ahmad, T. (Co-Investigator), Chariyarupadannayil Sudheerbabu, G. (Co-Investigator) & Chapagain, S. (Principal Investigator)
EU Horizon 2020
01/10/20 → 31/01/24
Project: EU

Cite this

Sudheerbabu, G., Ahmad, T., Sebek, F., Truscan, D., Vain, J., & Porres, I. (2022). A Two-phase Metamorphic Approach for Testing Industrial Control Systems. In 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; Vol. 2022-September). IEEE. https://doi.org/10.48550/arXiv.2208.09261, https://doi.org/10.1109/ETFA52439.2022.9921439

@inproceedings{be9181bbab264e64bc0f1f4cf55bf529,

title = "A Two-phase Metamorphic Approach for Testing Industrial Control Systems",

abstract = "We elaborate on a metamorphic approach for testing industrial control systems. The proposed approach consists of two phases: an exploration phase in which we learn about fault patterns of the system under test and an exploitation phase where the observed fault patterns are used for targeted testing. Our method extracts metamorphic relations and input space of the system from its requirements. The seed input used for testing is extracted from the execution logs of the system and used to generate source tests and follow-up tests automatically. The morphed input is constructed based on the seed input and refined using a set of constraints. The approach is exemplified on a position control system and the results show that it is effective in discovering faults with an increased level of automation. ",

author = "Gaadha Sudheerbabu and Tanwir Ahmad and Filip Sebek and Dragos Truscan and J{\"u}ri Vain and Ivan Porres",

year = "2022",

doi = "10.48550/arXiv.2208.09261",

language = "English",

isbn = "978-1-6654-9997-2",

series = "IEEE International Conference on Emerging Technologies and Factory Automation, ETFA",

publisher = "IEEE",

booktitle = "2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)",

address = "United States",

note = "International Conference on Emerging Technologies and Factory Automation, ETFA ; Conference date: 06-09-2022",

}

Sudheerbabu, G , Ahmad, T, Sebek, F, Truscan, D, Vain, J & Porres, I 2022, A Two-phase Metamorphic Approach for Testing Industrial Control Systems. in 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, vol. 2022-September, IEEE, International Conference on Emerging Technologies and Factory Automation, 06/09/22. https://doi.org/10.48550/arXiv.2208.09261, https://doi.org/10.1109/ETFA52439.2022.9921439

A Two-phase Metamorphic Approach for Testing Industrial Control Systems. / Sudheerbabu, Gaadha ; Ahmad, Tanwir; Sebek, Filip et al.
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, 2022. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; Vol. 2022-September).

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - A Two-phase Metamorphic Approach for Testing Industrial Control Systems

AU - Sudheerbabu, Gaadha

AU - Ahmad, Tanwir

AU - Sebek, Filip

AU - Truscan, Dragos

AU - Vain, Jüri

AU - Porres, Ivan

PY - 2022

Y1 - 2022

N2 - We elaborate on a metamorphic approach for testing industrial control systems. The proposed approach consists of two phases: an exploration phase in which we learn about fault patterns of the system under test and an exploitation phase where the observed fault patterns are used for targeted testing. Our method extracts metamorphic relations and input space of the system from its requirements. The seed input used for testing is extracted from the execution logs of the system and used to generate source tests and follow-up tests automatically. The morphed input is constructed based on the seed input and refined using a set of constraints. The approach is exemplified on a position control system and the results show that it is effective in discovering faults with an increased level of automation.

AB - We elaborate on a metamorphic approach for testing industrial control systems. The proposed approach consists of two phases: an exploration phase in which we learn about fault patterns of the system under test and an exploitation phase where the observed fault patterns are used for targeted testing. Our method extracts metamorphic relations and input space of the system from its requirements. The seed input used for testing is extracted from the execution logs of the system and used to generate source tests and follow-up tests automatically. The morphed input is constructed based on the seed input and refined using a set of constraints. The approach is exemplified on a position control system and the results show that it is effective in discovering faults with an increased level of automation.

U2 - 10.48550/arXiv.2208.09261

DO - 10.48550/arXiv.2208.09261

M3 - Conference contribution

SN - 978-1-6654-9997-2

T3 - IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

BT - 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)

PB - IEEE

T2 - International Conference on Emerging Technologies and Factory Automation

Y2 - 6 September 2022

ER -

Sudheerbabu G , Ahmad T, Sebek F, Truscan D, Vain J, Porres I. A Two-phase Metamorphic Approach for Testing Industrial Control Systems. In 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE. 2022. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA). doi: 10.48550/arXiv.2208.09261, 10.1109/ETFA52439.2022.9921439

A Two-phase Metamorphic Approach for Testing Industrial Control Systems

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps Environments

Cite this