MASSIVE

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.