Model-based testing

Testing plays a vital role both in software and hardware development. The complexity of hardware and software products is continuously increasing, while the time frame between the releases of different product versions becomes shorter. Unsurprisingly, the fast-paced development increases the probability of faults. Although quality assurance is essential, limited resources are allocated for testing compared to the complexity of the problem. To cope with this challenge, one could automate not just the execution of test cases, but the design of test cases as well. If the requirements of the product are described in a formal model specification, then the test cases can be generated automatically from this model to fulfill given testing goals. This area of testing is called model-based testing (MBT).

We develop a novel, MBT framework – called Model 》 Test 》 Relax – to help in the following 3 main areas:
– Research: Provide a stable background for developing and investigating new test generation and model conversion algorithms.
– Education: Demonstrate the concept behind MBT and compare different algorithms.
– Industry: Solve practical testing tasks with automated test design.

High-level overview of functionalities of Model 》 Test 》 Relax framework:
– The framework handles Finite State Machine (FSM) and Extended Finite State Machine (EFSM) models.
– The user can import existing models, generate random ones, make a conversion between EFSM and FSM models.
– The tool is able to generate different test suites from models and it also provides an interface to evaluate results.

The task is to develop new functionalities to the framework (related to test generation, model conversions, test evaluation, model visualization…etc.).  

More information:
https://gitlab.inf.elte.hu/nga/ModelTestRelax/