Prohlížení Diplomové práce - 13138 dle předmětu "UPPAAL"

Zobrazují se záznamy 1-2 z 2

    • Aplikace strojového učení v integračním testování metodou Model-Based Testing 

      Autor: Jakub Klíma; Vedoucí práce: Sobotka Jan; Oponent práce: Krecl Jaromír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-04)
      Tato diplomová práce se zabývá metodami procházení sítě časovaných automatů. Úkolem je obohatit stávající metody o prvky strojového učení. Cílem této diplomové práce je implementovat takovou metodu, která bude procházet ...

    • Integrační testování metodou Model-Based Testing - případová studie 

      Autor: Michal Veselka; Vedoucí práce: Sobotka Jan; Oponent práce: Ristovska Biljana
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-17)
      Cílem této diplomové práce je ověřit možnosti integračního testování metodou Model-Based Testing (MBT). Práce se po úvodním seznámením s problematikou HIL (Hardware-in-the-Loop) testování zaměřuje na návrh modelů popisujících ...