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

Journals Menu

Follow SCIRP

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Journal of Software Engineering and Applications

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.org/journal/jsea
E-mail: jsea@scirp.org

Google-based Impact Factor: 1.22
Citations h5-index & Ranking

Journals Menu

"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]	ComFASE: A tool for evaluating the effects of V2V communication faults and attacks on automated vehicles
	2022 52nd Annual …, 2022

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

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

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

[5]	A Situated Cognition Model for CPPS Testing
	2021

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

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

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

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

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

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

[12]	Functional verification of distributed automation systems
	2019

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[32]	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

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

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

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

[36]	Cost Effective Model Based Regression Testing
	2017

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[53]	From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts


[54]	ACase STUDY IN COMPOSITIONAL MODEL-CHECKING OF HIERARCHICAL PLC PROGRAMS


[55]	zur Erlangung des akademischen Grades Dr. rer. nat. an der Fakult at fur Mathematik, Informatik und Naturwissenschaften der Universit at Hamburg

[1]	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

[2]	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

[3]	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

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

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

[6]	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

[7]	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

[8]	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

[9]	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

[10]	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

[11]	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

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

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

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

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

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

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

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

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

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

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

[22]	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

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

[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]	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

[29]	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

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

[31]	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

[32]	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

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

[34]	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

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

[36]	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

[37]	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

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

[39]	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

Follow SCIRP

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Journal of Software Engineering and Applications

Journal of Software Engineering and Applications

Journals Menu

Home

About SCIRP

Service

Policies