MIDS
Model Inference and Differencing Suite
The Model Inference and Differencing Suite (MIDS) aims to prevent regressions and reduce the risks for software changes. It provides functionality to:
Automatically infer multi-level models of software behavior from execution logs for existing software components.
Compare behavioral models for change impact analysis.
The main benefits are:
The inferred models provide insight into the current software behavior, which is essential for making correct software changes.
The inferred models can also serve to bootstrap the introduction of Model-Driven Engineering (MDE), ensuring the new models closely resemble the current behavior, while also reducing the need for laborious and error-prone manual modelling.
The software behavior (models) of different software versions can be compared to find differences, detect regressions and reduce risks for software changes, such as patches and redesigns.
The MIDS approach and tool have been developed in collaboration by TNO-ESI and ASML in the Transposition project. To allow widespread use of MIDS, it has been open-sourced, under the MIT license.