AZAROV, V. Nástroj pro generování příkladů pro cvičení testování softwaru [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2025.

Posudky

Posudek vedoucího

Smrčka, Aleš

Vladimir Azarov postupoval přesně podle mých požadavků a spolehlivě dosáhl požadovaného výsledku.

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Informace k zadání Cílem práce bylo usnadnit tvorbu příkladů pro výuku v předmětu Testování a dynamická analýza. Hlavním problémem, kterým se student musel zabývat, je automatické generování náhodných zdrojových kódů, které splňují požadované vlastnosti jako délka kódu, zahrnuté řídicí konstrukce a operace, složitost kódu a požadovaná náročnost tvorby testovacích případů. Student sám navrhnul kritérium zohledňující tyto vlastnosti a dle mých požadavků implementoval funkční nástroj. Výsledný nástroj hodlám použít ve výuce v následujícím akademickém roce.
Práce s literaturou Student se řídil doporučením na literaturu v oblasti testování. Student si další studijní prameny vybíral sám.
Aktivita během řešení, konzultace, komunikace Student byl aktivní po celou dobu práce na projektu a svůj postup a výsledek vždy konzultoval.
Aktivita při dokončování Technická zpráva byla konzultována s předstihem.
Publikační činnost, ocenění
Navrhovaná známka
A
Body
90

Posudek oponenta

Veigend, Petr

Předložená závěrečná práce je vysoce nadprůměrná. Student detailně nastudoval problematiku, přinesl do ní vlastní myšlenku a realizoval plně funkční, netriviální aplikaci, která je použitelná v praxi. Vzhledem ke kvalitě závěrečné práce doporučuji komisi zvážit navrhnout tuto práci na cenu děkana. Moje hodnocení je 95b / A a samozřejmě práci doporučuji k obhajobě.

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Náročnost zadání Zadání hodnotím jako obtížnější. Student se daného tématu zhostil opravdu skvěle, do detailu ho prozkoumal a obtížné zadání vyřešil.
Rozsah splnění požadavků zadání Zadání bylo splněno. Student nad rámec zadání implementovanou aplikaci rozšířil ještě o textové uživatelské rozhraní, což značně zjednodušuje její použití.
Rozsah technické zprávy Práce má přibližně 84 normostran, její rozsah tedy mírně přesahuje obvyklé rozmezí.
Prezentační úroveň technické zprávy 90 Prezentační úroveň předložené práce je na velmi vysoké úrovni. Práce má logickou stavbu, kapitoly jsou informačně bohaté a navazují na sebe. Úvodní kapitoly shrnují stav poznání do hloubky, kterou práce vyžaduje, ale velmi čtivou a názornou formou, včetně obrázků a příkladů. Kapitoly, které se věnují návrhu a implementaci jsou informačně bohaté, ale student nezachází do přílišných detailů, ale popisuje opravdu důležité části řešení, včetně pseudokódu. Některé obrázky (např. obrázek 4.3 struktura aplikace) mohly být přesunuty do přílohy, některé (např. obrázek 4.2) mohly být vysázeny na šířku, aby byly lépe čitelné. 
Formální úprava technické zprávy 85 Formální úpravu práce od lepšího hodnocení dělí jen časné jednopísmenné předložky na koncích řádků a občasné použití anglických tvarů slov (např. C-funkce, C-kód atp.). Práce je psána výbornou, spisovnou češtinou bez překlepů a pravopisných chyb.
Práce s literaturou 100 Studijní prameny a literatura (celkem 27 zdrojů) jsou zvoleny dobře a odpovídají zaměření práce. Výběr literárních pramenů značí, že se student při studiu a přípravě práce neomezil na základní znalost, ale chtěl jít do hloubky (o čem svědčí množství citovaných článků). Všechny zdroje jsou v práci řádně citovány.
Realizační výstup 95 Výstup práce tvoří aplikace v jazyce Python, která umožňuje dle zadané obtížnosti a dalších parametrů generovat testovací příklady. Aplikace generuje větší množství artefaktů pro každý krok generování a uživatel může tedy využít, co je potřeba (control flow graf, vnitřní reprezentaci, zdrojový kód, atp.).  Student nad rámec zadání implementoval i textové uživatelské rozhraní, které výrazně usnadňuje práci s aplikací.  Aplikace je důkladně komentovaná, zdá se, že pečlivě (tam kde to dává smysl) dodržuje zásady OOP.
Využitelnost výsledků Aplikace je využitelná pro demonstrační a výukové účely pro generování testů. Dle mého názoru může sloužit jako základ pro další výzkum.
Navrhovaná známka
A
Body
95

Otázky

eVSKP id 161846