KŘŮMAL, J. Testování points-to analýzy v GraalVM Native Image s využítím nástroje Judge [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2025.
In the end, the student delivered the thesis at a satisfactory level of quality, successfully fulfilling all the goals outlined in the thesis assignment, though without any notable extensions or additional effort beyond the core requirements.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | The topic of this thesis was of medium difficulty, requiring the student to become familiar with compilers, static analysis, and software testing. Although the student was initially less active, he eventually increased his efforts and delivered the thesis in good form, addressing all points of the assignment. The resulting tool is functional and will be valuable for evaluating the precision and soundness of static analysis in GraalVM Native Image. Overall, I am satisfied with the outcomes of this work, though I would have appreciated more time for evaluation and discussion of the results. | ||
| Práce s literaturou | The student required a bit more guidance, but overall studied independently, using relevant resources and citing them appropriately. | ||
| Aktivita během řešení, konzultace, komunikace | The student was initially less active, which caused some concern, but he significantly increased his efforts during the final two months before submission. Even during periods of lower activity, he attended meetings regularly and consistently reported his progress. | ||
| Aktivita při dokončování | In the end, the student submitted both the implementation and the written report on time, allowing me to review both without any time pressure. | ||
| Publikační činnost, ocenění | The resulting tool was open-sourced on GitHub and will be used to evaluate the precision and soundness of static analysis in GraalVM Native Image. |
S ohledem na výše prezentované silné a slabší stránky práce navrhuji hodnocení průměrnou známkou C.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | |||
| Rozsah splnění požadavků zadání | |||
| Rozsah technické zprávy | |||
| Prezentační úroveň technické zprávy | 65 | Práce je strukturována logicky, jednotlivé části na sebe dobře navazují. Východiska práce jsou prezentována jasně. Za přiměřenou považuji také prezentaci implementovaného webového rozhraní. Na druhou stranu za nepříliš vyhovující považuji popis klíčové části navrženého řešení, konkrétně adaptéru integrujícího Native Image do prostředí Judge. Tomu je věnována z mého pohledu zejména sekce 3.2, která je ale velmi stručná a neposkytuje dle mého názoru dostatečnou představu o tom, co a jak tento adaptér řeší. Za nedostatek práce považuji rovněž to, že v ní není hlouběji diskutováno, proč některé testy z prostředí Judge selhaly. Je samozřejmě možné, že se jedná o to, že Native Image nepodporuje některé rysy jazyka Java, ale možné je také to, že jsou chyby v adaptéru, což nejsem schopen na základě textu vyloučit. | |
| Formální úprava technické zprávy | 90 | Práce je psána anglicky, a to dle mého názoru velmi zdařile. Také typografie je na velmi pěkné úrovni. Jako nevhodné vidím použití některých vět psaných v první osobě jednotného čísla, které se ale vyskytují v textu jen omezeně. | |
| Práce s literaturou | 100 | Použité zdroje a práce s nimi jsou zcela přiměřené. | |
| Realizační výstup | 75 | Realizační výstup je na první pohled funkční. Za problém vidím již výše zmíněnou absenci vyhodnocení příčin, proč některé testy z prostředí Judge neprošly. Je sice pravděpodobné, že důvodem je to, že příslušné rysy jazyka Java nejsou podporovány v překladači Native Image, ale může se jednat i důvody jiné (např. chyba v adaptéru či nedostatečná metadata pro překlad pomocí Native Image za předpokladu tzv. uzavřeného světa). | |
| Využitelnost výsledků | Vytvořený nástroj může být po další validaci základem nástroje reálně použitelného při vývoji překladače Native Image. |
eVSKP id 162074