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.

License: 
Commercial (free for academia non-profilt applications)
Provider: 
ABO AKADEMI
Keywords: 
Runtime verification and online testing
Monitoring and logs analysis
Static model checking
Performance analysis
Model based testing
Requirement coverage analysis
Simulation
Dependability analysis
Formal methods
Properties modeling
main contact: 
Dragos Truscan

Downloads

See in links below instructions to get the MATERA2 tools:

  • Model-based Monitoring from Åbo Akademi (MBMÅA) tool
  • Model-based Performance Testing (MBPeT) tool

Documentation

See in links below instructions to install and use the MATERA2 tools:

  • Model-based Monitoring from Åbo Akademi (MBMÅA) tool
  • Model-based Performance Testing (MBPeT) tool