Axini develops tools for model based testing (MBT) and model based software engineering (MBSE). Model based testing is a software testing approach in which test cases are automatically generated and executed from a model, a formal specification of the system under test. This approach allows for a high degree of test automation and more thorough testing.
With active testing, our platform decides on what test actions and test-date to generate and execute. With passive testing, a.k.a. monitoring, we check the actions that are performed on the system, actions that come from other sources, such as other tests, or user actions on the real production system. Some benefits of passive testing are that it is less intrusive, and that one can do it in production. Normally the source of the information of the executed actions is a log file.
For this assignment, should you accept it, you will design and create a passive testing setup. In particular you will create an adapter that transforms the logfiles into model-actions and you will add logic to our Axini platform to execute the passive tests against the model.
This assignment is ideal for an internship or to combine with another assignment, for example in the case of a master thesis.
Possible research questions
There are several puzzles and research questions that students can work on.