MATERA2 consists of the following tools:
Model-based Monitoring from Åbo Akademi (MBMÅA) tool
The MBMÅA tool uses UPPAAL timed automata for creating the behavioral model of the system under test. The UPPAAL model can be edited using a graphical user interface. The test adapter for MBMÅA tool can be specified using Jython. The model can be simulated and verified using UPPAAL with respect to the requirements of the system. MBMÅA can analyze execution traces specified in textual format.
Model-based Performance Testing (MBPeT) tool
MBPeT generates synthetic workload using probabilistic models for the user profiles which simplify the creation and updating of test specifications. Owing to a certain level of randomness introduced by the probabilistic models, synthetic workload is closer to the real workload as compared to the workload generated from static scripts.