The aim of this project was to investigate a methodology and an algorithm for model synthesis. From sequence-based requirements, a specification model is created to be used for model-based test case generation in the field of test automation. The results of the research project have the potential of increasing performance and competitive advantages for companies in the manufacturing and application industry. They enable a significant improvement of internal test processes and, in addition, enable extensions of portfolios for test service providers.
Project leader
M.Sc. Martin Reider
Thematic Field
Cooperation partners
Technische Universität München - Lehrstuhl für Automatisierung und Informationssysteme
Project Duration
Projektstart:
May 2017
Projektende:
October 2019
Project Funding
BMWi
Förderkennzeichen:
IGF 19536BG