Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
Vali kollektsioon
vali kõik
eemalda valik
artiklid
bakalaureusetööd
digiteeritud perioodika
diplomitööd
doktoritööd
IOP
kaitsmisele minevad doktoritööd
konverentsikogumikud
magistritööd
raamatukogu väljaanded
standardid
teadus- ja arengutegevuse aruanded
Tehnikaülikooli ajalugu
Tehnikaülikooli toimetised
uuringuaruanded
varia
õpikud ja õppevahendid
Pealkiri
Autor/juhendaja/koostaja
Struktuuriüksus
Märksõna
Aasta
-
Reasta
autor A-Z
autor Z-A
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri A-Z
pealkiri Z-A
Register
model-based testing - märksõna
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 16
1.
Two State Space Reduction Techniques for Explicit State Model Checking.Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis
Ernits, Juhan-Peep
29.11.2007
doktoritööd
2.
Mudeli-põhine testimine keskkonnaga TestIt: robotite operatsioonisüsteemi juhtumiuuring. Model-Based Testing with TestIt: the Robot Operating System case-study
Gummel, Artur
07.06.2018
magistritööd
3.
Hajustestri genereerimisalgoritmi optimeerimine ja implementeerimine. Optimisation and implementation of distributed tester generation algorithm
Jakobson, Henri
07.06.2022
bakalaureusetööd
4.
Model-Based Testing Framework for Autonomous Multi-Robot Systems. Mudelipõhine testimisraamistik autonoomsetele multirobotsüsteemidele
Kanter, Gert
03.07.2020
doktoritööd
5.
Hajussüsteemide mudelipõhine testimine Tallinna tänavavalgustuse süsteemi näitel. Model-Based Testing of Distributed Systems: Tallinn Streetlight System Case-Study
Kruusamägi, Age
07.06.2016
magistritööd
6.
Model-Based Testing of Reactive Systems. Reaktiivsete süsteemide mudelipõhine testimine
Kull, Andres
15.12.2009
doktoritööd
7.
Aspekt-orienteeritud testimise efektiivsusanalüüs. Aspect oriented testing efficiency analysis
Kurss, Johannes Olaf
07.06.2021
bakalaureusetööd
8.
A Symbolic Approach to Model-based Online Testing. Mudelipõhine online-testimine kasutades sümbolarvutust
Kääramees, Marko
28.11.2012
doktoritööd
9.
Robotsüsteemide olekuautomaatide õppimine mudelipõhiseks testimiseks. Robotic System Automata Learning for Model-Based Testing
Liibert, Marti Ingmar
10.06.2020
bakalaureusetööd
10.
Testimiseesmärkide spetsifitseerimiskeele TDL(TP) interpretaatori implementeerimine. Implementation of an Interpreter for the Test Purpose Specification Language TDL(TP)
Prikk, Tanel
12.06.2019
bakalaureusetööd
11.
Aspect-Oriented Model-Based Testing. Aspekt-orienteeritud mudeli-põhine testimine
Sarna, Külli
15.11.2018
doktoritööd
12.
Mudelipõhine hajustestimine Tallinna infosüsteemi Teele näitel. Distributed Model-Based Testing of Tallinn City Information System Teele
Sims, Kairit
29.05.2020
magistritööd
13.
TTÜ Mektory nanosatelliidi tarkvara testide tõestatavalt korrektne arendus. Provably Correct Test Development for TUT Mektory Nanosatellite Software
Singh, Madhushree
30.05.2018
magistritööd
14.
Unity-s loodud programmide mudelipõhine testimine VR Quizi näitel. Model-Based Testing of Unity Applications: VR Quiz Case Study
Taimre, Madis
19.01.2017
magistritööd
15.
Veebirakenduste mudelipõhine testimine. Model-Based Testing of Web Applications
Teekivi, Magnus
02.06.2021
magistritööd
16.
Mudelipõhine veebirakenduste koormustestimine Moodle veebirakenduse näitel. Model-based load testing of web applications: Moodle web application case study
Vask, Triin
17.01.2019
bakalaureusetööd
Kirjeid leitud: 16
1