Prohlížení Diplomové práce - 13136 dle předmětu ".NET"

Zobrazují se záznamy 1-2 z 2

    • Nástroj pro generování unit testů pomocí model checkingu pro .net 

      Autor: Benjamin Hejl; Vedoucí práce: Frajták Karel; 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., 2023-02-01)
      Jednotkové testy slouží jako základ testování softwaru a zdroj informací o fungování testovaného kódu, což je důležité pro jeho další rozvoj a vylepšování. Manuální formulace testů, které plně pokryjí testovanou metodu a ...

    • Systém pro vzdálený monitoring služeb 

      Autor: Nikita Iryupin; Vedoucí práce: Smejkal Jan; Oponent práce: Klíma Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-13)
      Monitoring softwaru je nedílnou součástí vývoje a podpory softwaru. Většina monitorovacích systémů vyžaduje vystavení endpointu nebo instalaci dalšího softwaru a jeho nastavení. Tato práce řeší problém aktivního monitorování ...