Tarkvarateaduse instituudi doktorant Gert Kanter kaitseb oma doktoritööd "Model-based Testing Framework for Autonomous Multi-Robot Systems" ("Mudelipõhine testimisraamistik autonoomsetele multirobotsüsteemidele") reedel, 03.07.2020 kell 10:00 ruumis ICT-315 (Akadeemia tee 15A) ja zoomi vahendusel.

Seoses autonoomsete robotsüsteemide kasvava levikuga süveneb vajadus tagada nende funktsionaalsus, töökindlus ja ohutus valdkondades, kus robotid töötavad ja liiguvad vahetult inimkeskkonnas. Käesolev dissertatsioon esitleb mudelipõhise testimise raamistikku ning testi automatiseerimise töövahendeid autonoomsete multirobotsüsteemide mudelipõhiseks testimiseks. Töö põhitulemuseks on testimistööriist TestIt, mis pakub mitmeid uusi lahendusi. Esiteks, avatud ja skaleeritav multikonveier arhitektuur, mis võimaldab erinevate osapoolte testimistööriistade integreerimist arendusprotsessis. Teiseks, loodud on multikonveier arhitektuuril põhinev adaptiivne optimeerimisalgoritm, mis võimaldab lõimede omavahelise andmevahetuse tulemusi kasutada testistsenaariumite optimeerimiseks. TestIt tööriista võimalusi ja eeliseid testijuhtude genereerimisel, testimisprotsessi jõudluse tõstmisel ja optimeerimisel on demonstreeritud robotturvasüsteemi rakenduses multirobotsüsteemi autonoomse navigatsiooni testimise näitel.
Lisaks eelnevale on dissertatsioonis esitatud testide tõestatavalt korrektne arendusprotsess ja selle integreerimine iteratiivsesse ja inkrementaalsesse tarkvaraarendustsüklisse. Töö tulemused näitavad, et pakutud inkrementaalne valideerimine võimaldab vähendada disaini valideerimisaega ja disaini lahendusteruumi analüüsi mahtu juba varajases arendusstaadiumis, vältimaks vigade kandumist arenduse lõpufaasi, kus vigade avastamine ja parandamine on oluliselt kulukam.
Töö tulemused on valideeritud tööstuslike robotiprojektide raames ja tulemused on näidanud, et väljatöötatud raamistik annab robotsüstemide kvaliteedi tagamise protsessile olulist lisaväärtust.

Juhendaja professor Jüri Vain (Tallinna Tehnikaülikool).

Oponendid:

• vanemlektor Anatoliy Gorbenko (Leedsi Becketti Ülikool, Ühendkuningriik)
• vanemlektor Dragos Truscan (Turu Abo Akadeemia, Soome)

Doktoritöö on avaldatud tehnikaülikooli raamatukogu digikogus.