Hledat
Zobrazují se záznamy 1-2 z 2
Návrh a implementace algoritmu simulace sítí časovaných automatů, Design and implementation of simulation algorithm for timed automata networks
; 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í, Failure prediction for Model-Based Integration Testing
; 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 ...