Back to research topics

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.

Models are written in a domain specific language (the Axini Modeling Language) using a text editor included in our web application. The models can be visualized to inspect the states and transitions of the underlying symbolic transition system. This aids modelers understand and reason about their models, which is valued greatly.

However, for real systems, models are generally quite large and complex. A different visualization technique might be needed to allow reasoning about such models.

Additionally, certain concepts in the modeling language such as parallelism, synchronization, non-determinism and time cannot (yet) be visualized effectively.

Possible research questions

There are several puzzles and research questions that students can work on.

Visualizing complex models
What techniques can be used to improve the visualization of large complex models?
Visualizing advanced concepts
How can concepts such as parallelism or non-determinism be visualized effectively?

Recent work

Recent work at Axini on this topic: