Bakalářský projekt (bc-INF) v programech, specializacích Informatika - počítačové vědy, Informatika - výpočetní technika.
V posledních letech se objevují návrhy na provádění automatických testů tak, že testovací nástroj sleduje skutečný běh programu a zároveň si vytváří model jeho toku řízení, tak aby postupně prozkoumal většinu cest programem. Cílem práce je porovnání stávajících algoritmů na základě jejich popisu v literatuře.
Téma vypsal: Ing. Richard Lipka, Ph.D. (UN 306)
Vypsáno pro akademický rok 2025/2026 dne: 2025-04-22
Toto téma je zatím volné. Pokud o téma máte vážný zájem, vyplňte prosím následující formulář, kterým si téma zamluvíte (všechny položky jsou povinné).