In October 2019 the research project MASSIVE (Model synthesis from sequence-based behavioral requirements for model-based test case generation) was successfully completed in cooperation with the Chair of Automation and Information Systems (AIS) at the Technical University of Munich. In this project, a new approach for modeling of behavioral requirements and the synthesis of specification models was designed and implemented. The developed method integrates itself into existing tools for model-based testing and should, in particular, reduce the effort required for model creation. This should make it easier for small and medium-sized companies in particular to get started with model-based testing and thus achieve a greater penetration of current model-based testing technologies in industry. The goal of model-based tests is primarily to support increasingly complex test scenarios and at the same time keep the resulting test efforts low.
A central role in the planning and implementation of all project activities was played by the project-accompanying committee, which consists of several large companies and SMEs. The aim was to achieve an industry-oriented implementation of the project results. The project goals were fully achieved and could also convince industry partners. During the final project presentation, the functionality of the new process was demonstrated live using several industrial demonstrators. The model-based test process developed at ifak was successfully used to test an actuator control system and a plant model using the methods developed in MASSIVE.
We would like to express our sincere thanks for the successful cooperation, especially to our colleagues from AIS at the TU Munich and the companies on the project-accompanying committee (AUMA Riester GmbH & Co. KG, Daimler AG, EKS InTec GmbH, foqee GmbH, Software Factory GmbH, TWT GmbH Science & Innovation, Validas AG).