Currently, there is an increase of variation in the products of high-tech equipment manufacturers. This variation is determined by configuration, but also by flows and data. To ensure proper quality of the software, testing has to determine the best way to sample the field, since an exhaustive testing is impossible to achieve. To determine the best sampling, the available knowledge needs to be captured and the best selection needs to be made.

Using smart algorithms is an opportunity to enhance the effectiveness and efficiency of testing. The objective of the Mátala project is to support testing in two ways: 1) by developing methodologies that support creation of models for capturing variation in flow, data & configuration of (cross-)product solutions, 2) by applying model-based testing to these models.

Matala is a new approach compared to traditional MBT approaches that focus on component testing. The Matala approach starts from overall system requirements and hence can typically be applied for integration testing. On top of this the project also investigates the application of Model Based Testing in a System of Systems setting. TNO-ESI has a long history in researching MBT technology in cooperation with multiple companies.