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.

Performance Exploration using Reinforcement Learning (PerfXRL) tool

The tool non-exhaustively explores the input space of the system under test and finds those combinations of input values that can reveal performance bottlenecks in the system. Our tool uses reinforcement learning to explore a large input space and to learn to focus on those areas of the input space, which have a high chance of triggering performance bottlenecks.

MATERA2-Activity Diagram Conformance Tester (ADCT)

MATERA2-ADCT  provides the ability to execute and simulate fUML design models with timed semantics. The tools can also be used for conformance testing by using fUML activity diagrams. Additionally, it also enables the Moka execution engine to connect to external tools via message exchange by using Spread Network.

MATERA2-AlfTester

MATERA2-AlfTester tool translates fUML activity diagrams and associated Alf code into equivalent Java code and then automatically generates input data needed to cover or execute all paths in the executable fUML and Alf models and test cases and test oracle (expected values) for testing the actual implementation of the system under development.

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
Performance Testing
Performance Exploration
Reinforcement Learning
main contact: 
Dragos Truscan
License: 
Commercial (free for academia non-profit applications)

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
  • Performance Exploration using Reinforcement Learning (PerfXRL) tool
  • MATERA2-Activity Diagram Conformance Tester
  • MATERA2-AlfTester

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
  • Performance Exploration using Reinforcement Learning (PerfXRL) tool
  • MATERA2-Activity Diagram Conformance Tester