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

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.