pealkiri
TTÜ Mektory nanosatelliidi tarkvara testide tõestatavalt korrektne arendus
Provably Correct Test Development for TUT Mektory Nanosatellite Software
autor
Singh, Madhushree
märksõnad
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
juhendaja
Vain, Jüri
kaitsmiskuupäev
30.05.2018
keel
eng
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
School of Information Technologies
instituut / kolledž
Tarkvarateaduse instituut
Department of Software Science