A model-based mutation framework for IEC61131-3 manufacturing systems

Kamil Rosiak; Lukas Linsbauer; Birgit Vogel-Heuser; Ina Schaefer

doi:10.1515/auto-2022-0125

A model-based mutation framework for IEC61131-3 manufacturing systems

Translated title of the contribution: A model-based mutation framework for IEC61131-3 manufacturing systems

Kamil Rosiak, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer

Chair of Automation and Information Systems

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

This article presents a model-based mutation framework for creating mutant systems implemented in IEC61131-3 languages. The framework is based on a meta-model of the IEC61131-3 standard. It supports 21 mutation operations, such as the addition or removal of POUs or the mutation of Structured Text and Sequential Functional Charts. Moreover, operations can be combined to create higher-order changes, such as Type III code clones. The mutation framework can be used to evaluate and improve development tools for supporting the evolution of manufacturing systems, such as regression test suite generators or clone detectors.

Translated title of the contribution	A model-based mutation framework for IEC61131-3 manufacturing systems
Original language	English
Pages (from-to)	380-390
Number of pages	11
Journal	At-Automatisierungstechnik
Volume	71
Issue number	5
DOIs	https://doi.org/10.1515/auto-2022-0125
State	Published - 1 May 2023

Keywords

IEC61131-3
clones
evaluation
model-based
mutation
variants

Access to Document

10.1515/auto-2022-0125

Cite this

@article{2e7640991ca14f71bc9f63f772f72b26,

title = "A model-based mutation framework for IEC61131-3 manufacturing systems",

abstract = "This article presents a model-based mutation framework for creating mutant systems implemented in IEC61131-3 languages. The framework is based on a meta-model of the IEC61131-3 standard. It supports 21 mutation operations, such as the addition or removal of POUs or the mutation of Structured Text and Sequential Functional Charts. Moreover, operations can be combined to create higher-order changes, such as Type III code clones. The mutation framework can be used to evaluate and improve development tools for supporting the evolution of manufacturing systems, such as regression test suite generators or clone detectors.",

keywords = "IEC61131-3, clones, evaluation, model-based, mutation, variants",

author = "Kamil Rosiak and Lukas Linsbauer and Birgit Vogel-Heuser and Ina Schaefer",

note = "Publisher Copyright: {\textcopyright} 2023 Walter de Gruyter GmbH, Berlin/Boston.",

year = "2023",

month = may,

day = "1",

doi = "10.1515/auto-2022-0125",

language = "English",

volume = "71",

pages = "380--390",

journal = "At-Automatisierungstechnik",

issn = "0178-2312",

publisher = "De Gruyter Oldenbourg",

number = "5",

}

TY - JOUR

T1 - A model-based mutation framework for IEC61131-3 manufacturing systems

AU - Rosiak, Kamil

AU - Linsbauer, Lukas

AU - Vogel-Heuser, Birgit

AU - Schaefer, Ina

PY - 2023/5/1

Y1 - 2023/5/1

N2 - This article presents a model-based mutation framework for creating mutant systems implemented in IEC61131-3 languages. The framework is based on a meta-model of the IEC61131-3 standard. It supports 21 mutation operations, such as the addition or removal of POUs or the mutation of Structured Text and Sequential Functional Charts. Moreover, operations can be combined to create higher-order changes, such as Type III code clones. The mutation framework can be used to evaluate and improve development tools for supporting the evolution of manufacturing systems, such as regression test suite generators or clone detectors.

AB - This article presents a model-based mutation framework for creating mutant systems implemented in IEC61131-3 languages. The framework is based on a meta-model of the IEC61131-3 standard. It supports 21 mutation operations, such as the addition or removal of POUs or the mutation of Structured Text and Sequential Functional Charts. Moreover, operations can be combined to create higher-order changes, such as Type III code clones. The mutation framework can be used to evaluate and improve development tools for supporting the evolution of manufacturing systems, such as regression test suite generators or clone detectors.

KW - IEC61131-3

KW - clones

KW - evaluation

KW - model-based

KW - mutation

KW - variants

UR - http://www.scopus.com/inward/record.url?scp=85159376337&partnerID=8YFLogxK

U2 - 10.1515/auto-2022-0125

DO - 10.1515/auto-2022-0125

M3 - Article

AN - SCOPUS:85159376337

SN - 0178-2312

VL - 71

SP - 380

EP - 390

JO - At-Automatisierungstechnik

JF - At-Automatisierungstechnik

IS - 5

ER -

A model-based mutation framework for IEC61131-3 manufacturing systems

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this