Analysis and diagnosis

AutoTestGen: Entwicklung eines Werkzeugs zur automatischen Testfall-Generierung für die Einrichtung von Produktionsanlagen - in der Industrie

Prof. Dr. rer. nat. Oliver Niggemann
01.04.2015 bis 30.04.2017

In the industrial automation technology, also known as automation systems, embedded systems with special runtime systems control the production processes of a factory. Thereby forms the programmable logic controllers (PLC) a core component of modern automation systems. It can be noticed that the complexity of the automation systems and the decentralization of control functions are rapidly increasing. At present, the quality of complex software is generally ensured by manual testing. However, manual testing characterizes one of the weaknesses in the current development process. The test case generation and execution in mechanical and plant engineering nowadays are typically based on informal specifications, which lead to low test coverage.

A solution to this problem is the automatic generation of test cases based on formal system specifications, the so-called model-based testing. The aim of this project is the development of a method for the generation of test cases from a model of the plant, the environment model, so that predefined test case coverage, a consistent and deterministic test quality can be guaranteed. The solution should be realized in a prototype tool.

This project is promoted by:
Bundesministerium für Wirtschaft und Energie (BMWi)
Sponsors: AiF Projekt GmbH
Funding Code: KF2448218KM4
Funding Lines: Zentrales Innovationsprogram Mittelstand (ZIM)
Stakeholders / Contacts: Kevin Pinkal, M. Sc., Prof. Dr. rer. nat. Oliver Niggemann
Employees: Prof. Dr. rer. nat. Oliver Niggemann, Kevin Pinkal, M. Sc.
Kevin Pinkal, M. Sc., Prof. Dr. rer. nat. Oliver Niggemann
A New Approach to Model-Based Test Case Generation for Industrial Automation Systems
In: 15th IEEE International Conference on Industrial Informatics (INDIN 2017), Jul 2017
Promoted by
AiF Projekt GmbH