Model 》 Test 》 Relax
Introduction
Model 》 Test 》 Relax is an open source Model-Based Testing (MBT) framework.
It is designed to help in the following 3 areas:
- Research: Provide a stable background for developing and investigating new test generation and model conversion algorithms.
- Solve practical testing problems: From a given specification model, the framework generates tests, which will systematically check the actual system according to the preset criteria.
- Education: Demonstrate the concept behind MBT and compare different algorithms related to MBT.
High-level overview of functionalities:
- The framework handles Finite State Machine (FSM) and Extended Finite State Machine (EFSM) models.
- The user can make different conversions on models.
- The user can select from a wide range of test generation algorithms to create test suites.
- The tool provides an interface to evaluate the results of different test generation algorithms.
- The user can import existing models from GraphWalker, the generated test cases can be exported into GraphWalker.
Advantages of Model 》 Test 》 Relax framework:
- Formal specification model:
- Provides a high-level view of the system that can be used in technical reviews and in the communication with stakeholders.
- Automatic test generation:
- Suitable for complex systems. No manual test design is required. The test suite is generated from the formal specification model and it investigates the given System Under Test (SUT) systematically.
- Flexibility:
- Test criteria and test coverage can be fine tuned with applying different test generation algorithms or parameters. This option lets the test engineer to find an appropriate trade-off between sources allocated for test execution and the quality of SUT.
- Test criteria can be changed dynamically to suite actual user needs.
- Low test maintenance cost:
- The model and the test generation itself are independent from the actual implementation. Only the adaptation code - the implementation of model keywords - needs to be updated if a change is applied to the SUT.
- Free and open-source