Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains

Journal of Software Engineering and Applications

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.net/journal/jsea
E-mail: [email protected]

Citations

"Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps"
written by Susanne Rösch, Sebastian Ulewicz, Julien Provost, Birgit Vogel-Heuser,
published by Journal of Software Engineering and Applications, Vol.8 No.9, 2015

has been cited by the following article(s):

Google Scholar
CrossRef

[1]	Test-based behaviour model derivation and adaption to enable automated test case scheduling for automated production systems
	Heuser, R Off - Production Engineering, 2024

[2]	From Imperative Sequential Structured Text Models to Synchronous Quartz and Sequentially Constructive Models
	2024

[3]	A New Method for Verification and Evaluation of PLC Software
	… of Innovative Science and Engineering (JISE), 2023

[4]	Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models
	2023 Forum on Specification & …, 2023

[5]	Regression Test Suite for Payment Switch using jPOS
	arXiv preprint arXiv …, 2022

[6]	From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts
	2022 Forum on Specification & Design Languages (FDL), 2022

[7]	ComFASE: A tool for evaluating the effects of V2V communication faults and attacks on automated vehicles
	2022 52nd Annual …, 2022

[8]	Supporting a model-driven development process for distributed control software
	Proceedings 2022 27th …, 2022

[9]	Industrial automation and control systems development future and challenges
	Journal of Information and …, 2022

[10]	Translation of continuous function charts to imperative synchronous quartz programs
	Proceedings of the 19th ACM-IEEE …, 2021

[11]	ACase STUDY IN COMPOSITIONAL MODEL-CHECKING OF HIERARCHICAL PLC PROGRAMS
	MASTER'S THESIS, 2021

[12]	A Situated Cognition Model for CPPS Testing
	2021

[13]	A Behaviour-Driven Development Approach for Cyber-Physical Production Systems
	2020

[14]	Automatisierte Generierung von Sicherheitstests für variantenreiche Produktionssysteme mittels ECAD
	2020

[15]	Reengineering Programmable Logic Controllers Using Synchronous Programming Languages
	2020

[16]	Model-Driven Engineering for Safety and Security in Industry 4.0
	2020

[17]	Assisted safety test execution linking E-CAD and test management with augmented reality
	2020

[18]	Functional verification of distributed automation systems
	2019

[19]	IEC 61131-3 Software Testing: a Portable Solution for native applications
	2019

[20]	Advances in Model-Based Testing of Programmable Controllers: Automatic Test Generation using Design-to-Test and Plant Features
	2019

[21]	Combining closed-loop test generation and execution by means of model checking
	2019

[22]	A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
	2019

[23]	Evolutionsunterstützung in cyber-physischen Systemen
	2019

[24]	Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition.
	2018

[25]	A MODEL DRIVEN APPROACH TO REGRESSION TESTING OF REUSABLE SOFTWARE
	2018

[26]	Implementing Test Automation Framework Using Model-Based Testing Approach
	Intelligent Computing and Information and Communication, 2018

[27]	Composition of Modular Models for Verification of Distributed Automation Systems
	2018

[28]	Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition
	at - Automatisierungstechnik, 2018

[29]	Proposal of a Procedure for Automating an Industrial Process Using Petri Nets as a Formal Tool
	2018

[30]	Change analysis on evolving PLC software in automated production systems
	at - Automatisierungstechnik, 2018

[31]	Automatisierte Bestimmung von Eigenschaften industrieller Produktionssysteme unter Einfluss evolutionärer Änderungen
	2018

[32]	Unterstützte Testausführung für automatisierte Fertigungsanlagen durch Verknüpfung von Testmanagement und E-CAD sowie Einbindung von Augmented Reality
	2018

[33]	Computergestützte Verifikation von Medizingerätenetzwerken
	2018

[34]	A modelling framework for automotive software design and optimal test path generation
	Journal of Intelligent & Fuzzy Systems, 2018

[35]	Increasing system test coverage in production automation systems
	Control Engineering Practice, 2018

[36]	Industrially Applicable System Regression Test Prioritization in Production Automation
	2018

[37]	PROPUESTA DE UN PROCEDIMIENTO PARA LA AUTOMATIZACIÓN DE UN PROCESO INDUSTRIAL USANDO REDES DE PETRI COMO UNA …
	2018

[38]	Simulation of cyber-physical systems using IEC61499
	MEMOCODE 2017 Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

[39]	Using plant model features to generate reduced test cases for programmable controllers
	IFAC-PapersOnLine, 2017

[40]	Model-based testing of automotive distributed systems with automated prioritization
	2017

[41]	Emulation of cyber-physical systems using IEC-61499
	2017

[42]	Cost Effective Model Based Regression Testing
	2017

[43]	Control flow models using Petri nets for model based testing
	2017

[44]	A Light-Weight Fault Injection Approach to Test Automated Production System PLC Software in Industrial Practice
	Control Engineering Practice, 2017

[45]	A new approach to model-based test case generation for industrial automation systems
	2017

[46]	Synthesis and implementation of logic controllers–A review
	Annual Reviews in Control, 2017

[47]	MODEL-BASED INTEGRATION TESTING TECHNIQUE USING FORMAL FINITE STATE BEHAVIORAL MODELS FOR COMPONENT-BASED SOFTWARE
	2017

[48]	Framework and automated prioritization procedure for model-based testing of automotive distributed systems
	Proceedings of the Dateso 2017 Workshop, 2016

[49]	Automated test suite generation to test modular designed packaging machines using Fault Injection and a simulink-based simulation approach
	2016

[50]	A Systematic Review of Use Cases based Software Testing Techniques
	International Journal of Software Engineering and Its Applications, 2016

[51]	Guided semi-automatic system testing in factory automation
	2016

[52]	System regression test prioritization in factory automation: Relating functional system tests to the tested code using field data
	2016

[53]	Design-to-test: An approach to enhance testability of programmable controllers for critical systems—two case studies
	2016

[54]	Multiple Mutation Testing from FSM
	Formal Techniques for Distributed Objects, Components, and Systems, 2016

[55]	New Tool for Model-Based Testing using Petri nets and Constraint Programming
	2016

[56]	A verification-supported evolution approach to assist software application engineers in industrial factory automation
	2016

[57]	Design-to-test: an approach to enhance testability of programmable controllers for critical systems–two case studies
	2016

[58]	Design-to-test: an approach to enhance testability of programmable controllers for critical systems-two case studies
	2016

[59]	A model-free autonomous performance testing for human recognition using different types of software-intensive autonomous systems

[1]	Test engines for the asset administration shell at - Automatisierungstechnik, 2025 DOI:10.1515/auto-2024-0150

[2]	Extended Sequential Function Chart IEEE Access, 2025 DOI:10.1109/ACCESS.2025.3567029

[3]	Test-based behaviour model derivation and adaption to enable automated test case scheduling for automated production systems Production Engineering, 2024 DOI:10.1007/s11740-024-01289-9

[4]	A model-free autonomous performance testing for human recognition using different types of software-intensive autonomous systems Journal of Intelligent & Fuzzy Systems, 2023 DOI:10.3233/JIFS-233547

[5]	Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models 2023 Forum on Specification & Design Languages (FDL), 2023 DOI:10.1109/FDL59689.2023.10272138

[6]	From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts 2022 Forum on Specification & Design Languages (FDL), 2022 DOI:10.1109/FDL56239.2022.9925656

[7]	Industrial automation and control systems development future and challenges Journal of Information and Optimization Sciences, 2022 DOI:10.1080/02522667.2022.2036354

[8]	ComFASE: A Tool for Evaluating the Effects of V2V Communication Faults and Attacks on Automated Vehicles 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2022 DOI:10.1109/DSN53405.2022.00029

[9]	A New Method for Verification and Evaluation of PLC Software Journal of Innovative Science and Engineering (JISE), 2022 DOI:10.38088/jise.1120186

[10]	Translation of continuous function charts to imperative synchronous quartz programs Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2021 DOI:10.1145/3487212.3487338

[11]	A Situated Cognition Model for CPPS Testing 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), 2021 DOI:10.1109/ICPS49255.2021.9468163

[12]	Assisted safety test execution linking E-CAD and test management with augmented reality 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS), 2020 DOI:10.1109/ICPS48405.2020.9274747

[13]	A Behaviour-Driven Development Approach for Cyber-Physical Production Systems 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS), 2020 DOI:10.1109/ICPS48405.2020.9274755

[14]	IEC 61131-3 Software Testing: A Portable Solution for Native Applications IEEE Transactions on Industrial Informatics, 2020 DOI:10.1109/TII.2019.2941584

[15]	Automatisierte Generierung von Sicherheitstests für variantenreiche Produktionssysteme mittels ECAD at - Automatisierungstechnik, 2020 DOI:10.1515/auto-2020-0028

[16]	A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems IEEE Transactions on Industrial Informatics, 2019 DOI:10.1109/TII.2019.2908665

[17]	Functional verification of distributed automation systems The International Journal of Advanced Manufacturing Technology, 2019 DOI:10.1007/s00170-019-03791-2

[18]	Intelligent Computing and Information and Communication Advances in Intelligent Systems and Computing, 2018 DOI:10.1007/978-981-10-7245-1_68

[19]	Emulation of Cyber-Physical Systems Using IEC-61499 IEEE Transactions on Industrial Informatics, 2018 DOI:10.1109/TII.2017.2724206

[20]	Increasing system test coverage in production automation systems Control Engineering Practice, 2018 DOI:10.1016/j.conengprac.2018.01.010

[21]	A modelling framework for automotive software design and optimal test path generation Journal of Intelligent & Fuzzy Systems, 2018 DOI:10.3233/JIFS-169466

[22]	Composition of Modular Models for Verification of Distributed Automation Systems Procedia Manufacturing, 2018 DOI:10.1016/j.promfg.2018.10.139

[23]	Proposal of a Procedure for Automating an Industrial Process Using Petri Nets as a Formal Tool Revista Politécnica, 2018 DOI:10.33571/rpolitec.v14n26a3

[24]	Change analysis on evolving PLC software in automated production systems at - Automatisierungstechnik, 2018 DOI:10.1515/auto-2018-0037

[25]	Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition at - Automatisierungstechnik, 2018 DOI:10.1515/auto-2017-0069

[26]	Industrially Applicable System Regression Test Prioritization in Production Automation IEEE Transactions on Automation Science and Engineering, 2018 DOI:10.1109/TASE.2018.2810280

[27]	Simulation of cyber-physical systems using IEC61499 Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017 DOI:10.1145/3127041.3127052

[28]	Control flow models using Petri nets for model based testing 2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 2017 DOI:10.1109/IDAACS.2017.8095142

[29]	Using plant model features to generate reduced test cases for programmable controllers IFAC-PapersOnLine, 2017 DOI:10.1016/j.ifacol.2017.08.1238

[30]	Model-based testing of automotive distributed systems with automated prioritization 2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 2017 DOI:10.1109/IDAACS.2017.8095175

[31]	A Light-Weight Fault Injection Approach to Test Automated Production System PLC Software in Industrial Practice Control Engineering Practice, 2017 DOI:10.1016/j.conengprac.2016.09.012

[32]	Synthesis and implementation of logic controllers – A review Annual Reviews in Control, 2017 DOI:10.1016/j.arcontrol.2017.03.004

[33]	A new approach to model-based test case generation for industrial automation systems 2017 IEEE 15th International Conference on Industrial Informatics (INDIN), 2017 DOI:10.1109/INDIN.2017.8104746

[34]	Guided semi-automatic system testing in factory automation 2016 IEEE 14th International Conference on Industrial Informatics (INDIN), 2016 DOI:10.1109/INDIN.2016.7819148

[35]	System regression test prioritization in factory automation: Relating functional system tests to the tested code using field data IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society, 2016 DOI:10.1109/IECON.2016.7792997

[36]	Automated test suite generation to test modular designed packaging machines using Fault Injection and a simulink-based simulation approach 2016 IEEE International Conference on Automation Science and Engineering (CASE), 2016 DOI:10.1109/COASE.2016.7743479

[37]	Formal Techniques for Distributed Objects, Components, and Systems Lecture Notes in Computer Science, 2016 DOI:10.1007/978-3-319-39570-8_15

[38]	A verification-supported evolution approach to assist software application engineers in industrial factory automation 2016 IEEE International Symposium on Assembly and Manufacturing (ISAM), 2016 DOI:10.1109/ISAM.2016.7750714

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Journal of Software Engineering and Applications

Journal of Software Engineering and Applications

Journals Menu

Guidelines & Policies

Home

About SCIRP

Service

Policies