Külli Sarna - doktoritöö kaitsmine 15.nov, 14:00, ICT-638
Tarkvarateaduse instituudi doktorant Külli Sarna kaitseb oma doktoritööd "Aspect-Oriented Model-Based Testing" ("Aspekt-orienteeritud mudelipõhine testimine") neljapäeval, 15.11.2018 kell 14:00 ruumis ICT-638 (Akadeemia tee 15A).
Juhendaja professor Jüri Vain (TTÜ).
Oponendid kaasprofessor Artem Boyarchuk (National Aerospace University, Ukraina) ja kaasprofessor Juha Plosila (Turu Ülikool, Soome).
Doktoritöö TTÜ raamatukogu digikogus.
Käesolev väitekiri pakub uudse lähenemise aspekt–orienteeritud modelleerimisele ja selle rakendamisele mudelipõhises testimises. Lisaks modelleerimistehnikale on väitekirja eesmärgiks näidata kuidas testieesmärke abstraktselt spetsifitseerida kasutades selleks aspekt-orienteeritud mudeli atribuute. Modelleerimise formalismist tulenevad AO modelleerimispõhimõtted ja testide arendamise sammud on konkretiseeritud Uppaali ajaga automaatide formalismil [48] ning seda toetava tarkvara abil, millega saab testida lisaks funktsionaalsetele omadustele ka ajastusomadusi, andmete sõltuvusi ning paralleelsete protsesside sünkroniseerimistingimusi. Väitekiri valideerib aspektorienteeritud lähenemise otstarbekust testide arendamisel praktilise juhtumianalüüsi “Kodune taastusravi süsteem” näitel ja esitab kvantitatiivsed tõendid aspekt-orienteerituse eelistest.