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

Autor:	Kamil Rosiak, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer
Rok vydání:	2023
Předmět:	Control and Systems Engineering Electrical and Electronic Engineering Computer Science Applications
Zdroj:	at - Automatisierungstechnik. 71:380-390
ISSN:	2196-677X 0178-2312
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::29d999ea10ad7779b956241d142d4a33 https://doi.org/10.1515/auto-2022-0125 Zobrazit plný text záznamu