Now showing items 1-1 of 1

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

      Author: Benjamin Hejl; Supervisor: Frajták Karel; Opponent: Š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 ...