IEC61131-3制造系统基于模型的变异框架

IF 0.7 4区计算机科学 Q4 AUTOMATION & CONTROL SYSTEMS

At-Automatisierungstechnik Pub Date : 2023-05-01 DOI:10.1515/auto-2022-0125

Kamil Rosiak, L. Linsbauer, B. Vogel‐Heuser, Ina Schaefer

{"title":"IEC61131-3制造系统基于模型的变异框架","authors":"Kamil Rosiak, L. Linsbauer, B. Vogel‐Heuser, Ina Schaefer","doi":"10.1515/auto-2022-0125","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":55437,"journal":{"name":"At-Automatisierungstechnik","volume":"71 1","pages":"380 - 390"},"PeriodicalIF":0.7000,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A model-based mutation framework for IEC61131-3 manufacturing systems\",\"authors\":\"Kamil Rosiak, L. Linsbauer, B. Vogel‐Heuser, Ina Schaefer\",\"doi\":\"10.1515/auto-2022-0125\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":55437,\"journal\":{\"name\":\"At-Automatisierungstechnik\",\"volume\":\"71 1\",\"pages\":\"380 - 390\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2023-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"At-Automatisierungstechnik\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1515/auto-2022-0125\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"At-Automatisierungstechnik","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1515/auto-2022-0125","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}

引用次数: 1

摘要

本文提出了一个基于模型的突变框架，用于创建在IEC61131-3语言中实现的突变系统。该框架基于IEC61131-3标准的元模型。它支持21种突变操作，例如添加或删除pou或结构化文本和顺序功能图的突变。此外，可以组合操作来创建更高阶的更改，例如Type III代码克隆。突变框架可用于评估和改进支持制造系统演进的开发工具，例如回归测试套件生成器或克隆检测器。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

At-Automatisierungstechnik 工程技术-自动化与控制系统

CiteScore

2.00

自引率

10.00%

发文量

审稿时长

6-12 weeks

期刊介绍： Automatisierungstechnik (AUTO) publishes articles covering the entire range of automation technology: development and application of methods, the operating principles, characteristics, and applications of tools and the interrelationships between automation technology and societal developments. The journal includes a tutorial series on "Theory for Users," and a forum for the exchange of viewpoints concerning past, present, and future developments. Automatisierungstechnik is the official organ of GMA (The VDI/VDE Society for Measurement and Automatic Control) and NAMUR (The Process-Industry Interest Group for Automation Technology). Topics control engineering digital measurement systems cybernetics robotics process automation / process engineering control design modelling information processing man-machine interfaces networked control systems complexity management machine learning ambient assisted living automated driving bio-analysis technology building automation factory automation / smart factories flexible manufacturing systems functional safety mechatronic systems.