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

Informaatioteknologia

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

4 Sitaatiot (Scopus)

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)
Kustantaja	IEEE
ISBN (elektroninen)	978-1-6654-9996-5
ISBN (painettu)	978-1-6654-9997-2
DOI - pysyväislinkit	https://doi.org/10.48550/arXiv.2208.09261 https://doi.org/10.1109/ETFA52439.2022.9921439
Tila	Julkaistu - 2022
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Conference on Emerging Technologies and Factory Automation - Kesto: 6 syysk. 2022 → …

Julkaisusarja

Nimi	IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
Vuosikerta	2022-September
ISSN (painettu)	1946-0740
ISSN (elektroninen)	1946-0759

Konferenssi

Konferenssi	International Conference on Emerging Technologies and Factory Automation
Lyhennettä	ETFA
Ajanjakso	06/09/22 → …

Pääsy asiakirjaan

10.48550/arXiv.2208.09261Lisenssi: CC BY
10.1109/ETFA52439.2022.9921439

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

Viittausmuodot

Sudheerbabu, G., Ahmad, T., Sebek, F., Truscan, D., Vain, J., & Porres, I. (2022). A Two-phase Metamorphic Approach for Testing Industrial Control Systems. teoksessa 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; Vuosikerta 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. julkaisussa 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, Vuosikerta 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; Vuosikerta 2022-September).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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. julkaisussa 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

Abstrakti

Julkaisusarja

Konferenssi

Pääsy asiakirjaan

Sormenjälki

Projektit

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

Viittausmuodot