title
TTÜ Mektory nanosatelliidi tarkvara testide tõestatavalt korrektne arendus
Provably Correct Test Development for TUT Mektory Nanosatellite Software
author
Singh, Madhushree
keywords
mudelipõhine testimine
testi verifitseerimine
Uppaali ajaga automaadid
TTÜ Mekory nanosatelliidi tarkvara
magistritööd
model-based testing
test verification
Uppaal Timed Automata
TUT Mektory Nanosatellite Software
master's theses
supervisor
Vain, Jüri
defence date
30.05.2018
language
eng
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
School of Information Technologies
department / college
Tarkvarateaduse instituut
Department of Software Science