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

Project Duration: 1.4.2015 to 30.4.2017 (Finished)
Area of Research:
Project Manager: Prof. Dr. Oliver Niggemann


  

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.


sepp.med GmbH

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


Publications:

Pinkal, Kevin; Niggemann, Oliver: 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 (More)


Funded by: BMWi
Project Management: AiF Projekt GmbH
Grant ID: KF2448218KM4
Funding: ZiM
Contact Person: Prof. Dr. Oliver Niggemann , M.Sc. Kevin Pinkal
Research Assistant: M.Sc. Kevin Pinkal