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

As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case genera-tion from some form of model automatons, test case generation from models used within the de-velopment process of production automation systems, test case generation from fault models or test case selection and regression testing