User: Guest  Login
Title:

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

Document type:
Zeitschriftenaufsatz
Author(s):
Rosiak, Kamil; Linsbauer, Lukas; Vogel-Heuser, Birgit; Schaefer, Ina
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 developmen...     »
Journal title:
Automatisierungstechnik
Year:
2023
Journal volume:
71
Month:
May
Journal issue:
5
Pages contribution:
380--390
Fulltext / DOI:
doi:https://doi.org/10.1515/auto-2022-0125
 BibTeX