Prohlížení Bakalářské práce - 13138 dle autora "Krejčí Lukáš"
-
Návrh a implementace algoritmu simulace sítí časovaných automatů
Autor: Matěj Šťastna; Vedoucí práce: Krejčí Lukáš; Oponent práce: Pospíšil Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-24)Cílem této bakalářské práce je návrh a implementace nového simulačního algoritmu průchodu sítí časovaných automatů simulačního nástroje Taster. V úvodní části je nejprve seznámení s problematikou integračního testování a ... -
Predikce selhání pro Model-Based integrační testování
Autor: Konstantin Khokhlov; Vedoucí práce: Krejčí Lukáš; Oponent práce: Šebek Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-02)Cílem této bakalářské práce je rozšíření funkcionality nástroje Taster o možnost predikce selhání jednotlivých funkcionalit modelů a výpočtu jejich relevance pro účely Model-Based integračního testováni. Práce po úvodním ... -
Vývoj komunikačního protokolu pro bezdrátovou senzorovou síť
Autor: Krejčí Lukáš; Vedoucí práce: Kovář Jan; Oponent práce: Novák Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)