Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

Rösch, Susanne; Ulewicz, Sebastian; Provost, Julien; Vogel‐Heuser, Birgit

doi:10.4236/jsea.2015.89048

Cited by 38 publications

(7 citation statements)

References 103 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To verify the models was used HPsim software, it was simulating each operating scenarios, verifying blocking, reachability and conservativity, among others model properties [27]. The final models showed no blockages, reachability or conservativity problems.…”

Section: P11 Emergency Signal From Stop Button P12 Emergency Signal From Stop Buttonmentioning

confidence: 99%

Proposal of a Procedure for Automating an Industrial Process Using Petri Nets as a Formal Tool

Melo¹,

Buitrón²,

Contreras

2018

Rev. politec.

View full text Add to dashboard Cite

Currently, industrial systems must adapt to changes in globalized markets in order to be competitive. In this context, automation is presented as a solution to ensure the efficiency and effectiveness of production. However, a correct specification of this kind of response is not a trivial task. This is due to the increase in the process dynamic complexity that involves personnel and technical resources of different nature as well as, risks derived from an incorrect solution definition. Thus, this article presents a structured process that considers the semantics of UML, Petri Nets as a modeling tools and automation standards to define the requirements, behavior and implementation of the system automation project. In order to assess the proposed approach, an application example was developed. Finally, the relevant contributions are stated in the context of the application.

show abstract

Section: P11 Emergency Signal From Stop Button P12 Emergency Signal From Stop Buttonmentioning

confidence: 99%

Proposal of a Procedure for Automating an Industrial Process Using Petri Nets as a Formal Tool

Melo¹,

Buitrón²,

Contreras

2018

Rev. politec.

View full text Add to dashboard Cite

show abstract

“…Many advances are made in the area of model-based testing [3]. Here, tests can be generated from formal models based on UML specifications [4]- [6], which can be extended by using virtual commissioning techniques [7], [8] to include behavior regarding the controlled hardware and technical process in the factory automation system.…”

Section: Related Work In (Model-based) Testing Virtual Commissioning and Formal Verificationmentioning

confidence: 99%

A verification-supported evolution approach to assist software application engineers in industrial factory automation

Ulewicz

Ulbrich

Weigl

et al. 2016

2016 IEEE International Symposium on Assembly and Manufacturing (ISAM)

Self Cite

View full text Add to dashboard Cite

Automated production systems (aPS) are complex systems with high reliability standards which can -besides through traditional testing -be ensured by verification using formal methods. In this paper we present a development process for aPS software supported by efficient formal techniques with easy-to-use specification formalisms to increase applicability in the aPS engineering domain. Our approach is tailored to the development of evolving aPS as existing behavior of earlier revisions is reused as specification for the verification. The approach covers three verification phases: regression verification, verification of critical interlock invariants and delta specification and verification. The approach is designed to be comprehensible by aPS software engineers: Two practically applicable specification means are presented. Formal methods have not yet been widely adapted in industrial aPS development since they lack (a) scalability, and (b) concise and comprehensible specification means. This paper shows concepts how to tackle both issues by referring to existing behavior during evolution verification to advance towards the goal of applicability in the aPS engineering domain.A laboratory case study demonstrates the feasibility and performance of the approach and shows promising results.

show abstract

“…Authors in [12] presented a survey related to model-based testing up to the current year 2015. This survey includes the current challenges and research gaps related to model-based testing in the field of computer science, software engineering, electrical engineering and other fields.…”

Section: Related Workmentioning

confidence: 99%

A Systematic Review of Use Cases based Software Testing Techniques

Qazi¹,

Rauf²,

Minhas³

2016

IJSEIA

View full text Add to dashboard Cite

Use case based Software testing concerned with testing an entire system's functionality and its constraints. User's requirements can be drawn in form of use cases to show the internal and external behaviour of a system. The use case has been used to test software system for different levels as well as through many ways according to nature of software. Rather than proposing a new technique, it is necessary to synthesize the existing techniques of Use case based software testing which is available in the literature. A Systematic Literature Review has been performed to investigate all the current approaches of Use case based software testing techniques. A question-wise analysis has also been presented for the researchers to investigate the effectiveness of these techniques. In results, we have discussed all the existing approaches of Use case based software testing along with its strengths & weaknesses and measure the characteristics of these approaches based on some key parameters. We have concluded the current state of the art of all the existing approaches of Use case based testing. Results are based on both types of analysis; Qualitative as well as Quantitative.

show abstract

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

Cited by 38 publications

References 103 publications

Proposal of a Procedure for Automating an Industrial Process Using Petri Nets as a Formal Tool

Proposal of a Procedure for Automating an Industrial Process Using Petri Nets as a Formal Tool

A verification-supported evolution approach to assist software application engineers in industrial factory automation

A Systematic Review of Use Cases based Software Testing Techniques

Contact Info

Product

Resources

About