Gert Kanter is defending his PhD thesis "Model-based Testing Framework for Autonomous Multi-Robot Systems" on Friday, Jul 3, 2020 at 10 AM in ICT-315 (Akadeemia tee 15A) and via zoom.

Alleviating the need for increased quality assurance in the face of rapidly growing num- ber of autonomous robots, this dissertation presents a model-based testing framework including TestIt toolkit. The main goal of the framework is to provide methods and tools for automated model-based testing of autonomous multi-robot systems to verify correct behavior in various applications. The main contribution of the dissertation is a testing toolkit TestIt which features several novelties. Firstly, the open and scalable multi-pipeline architecture that enables incorporation of test development and execution tools from various vendors. The second main contribution is the adaptive test optimization technique that takes advantage of the proposed multi-pipeline architecture where testing threads can communicate and coordinate the test runs based on their cooperatively collected test performance data. The usability of TestIt for test generation, testing process performance improvement and optimization in multi-robot autonomous navigation context is demon- strated using a robotic security system case study.
Additionally, a provably correct test development process within an iterative and incremental software development cycle is detailed. The results show that the proposed incremental validation minimizes the validation time, design space exploration and cost during early stages of design, rather than during operations which could lead to significant cost increase.
The results of the framework have been validated in industry projects and have shown to add value to the quality assurance process.

Supervisor Professor Jüri Vain (Tallinn University of Technology).

Opponents:

• Senior Lecturer Anatoliy Gorbenko (Leeds Beckett University, UK)
• Senior Lecturer Dragos Truscan (Åbo Akademi University, Turku, Finland)

The PhD thesis is available in Tallinn University of Technology digital library.