Prohlížení Diplomové práce - 13136 dle předmětu "verifikace softwaru"
Zobrazují se záznamy 1-1 z 1
-
Nástroj pro generování unit testů pomocí model checkingu pro .net
; 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 ...