• 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 ...
    • Optimalizace testovacích algoritmů nástroje Taster 

      Autor: Matěj Štula; Vedoucí práce: Sobotka Jan; 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-08-27)
      V moderních automobilech je stále více elektroniky a řídících jednotek. Aby vše fungovalo tak, jak má, je zapotřebí, aby spolu všechny součásti spolupracovaly. Pro ověření, že vše je v pořádku, se provádí testy. Možných ...
    • 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 ...