Zukunftsweisende Konzepte zur Umgestaltung der Produktion und der Kommunikationssysteme, die meist auf verteilten und komplexen Systemen basieren, stellen große Herausforderungen für Hersteller und Anwender industrieller Automatisierungstechnik dar. Mit der zunehmenden Komplexität der Produkte und Produktionsanlagen werden neue Methoden und Konzepte zur Testerstellung und hochautomatisierten Testdurchführung benötigt. Der Einsatz von modellbasierten Methoden zur Testgenerierung reduziert den Aufwand und damit auch die Kosten signifikant.
Ziel des Vorhabens MASSIVE war die Erforschung einer Methodik und eines Algorithmus zur Modellsynthese. Aus sequenzbasierten Anforderungen entsteht ein Spezifikationsmodell, um für die modellbasierte Testfallgenerierung im Bereich der Testautomatisierung verwendet zu werden. Die Ergebnisse des Forschungsvorhabens bedeuten eine konkrete Steigerung der Leistungsfähigkeit und Wettbewerbsvorteile für kleine und mittelständige Unternehmen der herstellenden und anwendenden Branche. Sie ermöglichen eine deutliche Verbesserung der internen Testprozesse und ermöglichen daneben Erweiterungen der Portfolios für Testdienstleister.
