Doktoritöö kaitsmine: Evelin Halling, "Scenario Oriented Model-Based Testing"
Tarkvarateaduse instituudi doktorant Evelin Halling kaitseb 10. mail 2019 algusega kell 14:00 oma doktoritööd "Scenario Oriented Model-Based Testing" ("Stsenaariumjuhitud mudelipõhine testimine"). Kaitsmine toimub Tehnikaülikooli infotehnoloogia maja ruumis ICT-315 (Akadeemia tee 15A).
Missioonikriitilised süsteemid (MKS) on süsteemid, mille tõrked ja vead võivad põhjustada katastroofilisi tagajärgi nagu näiteks seada ohtu inimelusid, tekitada varalist ja rahalist kahju, ohustada rahvuslikku julgeolekut jms. Õigesti projekteeritud MKS suudab töötada isegi karmides ekspluatatsioonitingimustes ilma fataalsete tõrgeteta eeldusel, et nende tõrgetega on projekteerimisel arvestatud, tõrked on õigeaegselt avastatud ja kompenseeritud.
Käesolev väitekiri keskendub MKS-de mudeli-põhisele konformsustestimisele. Väitekirja eesmärgiks on luua suure väljendusvõimsusega testieesmärkide spetsifitseerimise keel ja tehnika testitava süsteemi mudelist ning testieesmärgi kirjeldusest testide genereerimiseks. Loodav keel ja genereeritavad testid peavad võimaldama väljendada ja kontrollida erinevaid testikatte kriteeriume, olema tõestatavalt korrektsed, st signaliseerima vigadest ainult tõeliste vigade korral, võimaldama tuvastada vigade põhjusi ja lokaliseerida disaini nõuded, mida avastatud vead puudutavad.
Juhendaja professor Jüri Vain (Tallinna Tehnikaülikool)
Oponendid:
- professor Dragos Truscan (Åbo Akadeemia, Soome)
- professor Anatoliy Gorbenko (Leeds Beckett Ülikool, Suurbritannia)
Doktoritöö on avaldatud Tehnikaülikooli raamatukogu digikogus aadressil https://digi.lib.ttu.ee/i/?11943