Browsing Diplomové práce - 13136 by Subject "unit testing"
Now showing items 1-1 of 1
-
Nástroj pro generování unit testů pomocí model checkingu pro .net
; 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 ...