RYBKA, J. Nástroj pro vyhledávání testovacích cest [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2025.
Jan Rybka projevil uspokojivé schopnosti při samostatném vypracování bakalářské práce.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Cílem práce bylo vytvořit program pro automatické generovaní testovacích vstupů dle zadané testovací cesty. Nástroj má spadat do sady nástrojů pro automatické generování testovacích sad dle zadaného kritéria pokrytí. Nástroj dokáže převádět testovací cesty do SMT formule, ovšem je potřeba zásah uživatele, aby byl výsledek dokazování platnosti formule převeden na vstupní testovací data. Dosažený výsledek zadání splňuje. | ||
| Práce s literaturou | Student čerpal ze zdrojů v oblasti testování softwaru dle mého doporučení. Další studijní prameny si hledal sám. | ||
| Aktivita během řešení, konzultace, komunikace | Student nebyl aktivní. Pracoval samostatně a v kontaktu se mnou byl výjimečně. Programovou část student konzultoval zřídka. | ||
| Aktivita při dokončování | Technickou zprávu jsem měl k dispozici s dostatečným předstihem a student zapracoval všechny hlavní připomínky. | ||
| Publikační činnost, ocenění |
Overall, I think the thesis has improved compared to the previous version. It now contains a proper introduction, better structured preliminaries/state of the art, and the submitted code has also been improved. My main objection is that Chapters 4 and 5 are still hard to follow, but I do not see that as a blocking issue preventing the student from graduating. Therefore, I suggest 65 points.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | I consider the thesis topic to be challenging, as it requires the student to become familiar with complex concepts from the domains of compilers, static analysis, and software testing. | ||
| Rozsah splnění požadavků zadání | I believe the thesis's goals have now been largely met. I still think that the description of the process of generating inputs that make a given path reachable could be improved, but overall, the structure of the thesis is much better than before, and the submitted source code now contains the test programs that were previously missing. | ||
| Rozsah technické zprávy | The thesis is now of appropriate length even without the diagrams in the appendix. | ||
| Prezentační úroveň technické zprávy | 65 | I think that Chapters 4 and 5 could still be improved with high-level pseudocode of the core algorithms and more succinct textual descriptions of the key parts. Still, overall, the text of the thesis is better structured compared to the previous version, and easier to follow. | |
| Formální úprava technické zprávy | 60 | I found some typos, grammar errors, and dangling references, but overall, the quality of the report has improved, and I also appreciate the new figures that nicely complement the text. | |
| Práce s literaturou | 65 | I see a significant improvement in the introduction and preliminaries/state of the art, which are now better structured and easier to follow. The number of citations has also increased. So overall, the quality is much higher compared to the previous version, but I still feel that the definitions are somewhat mixed (e.g. the definition of a path in the graph is given in the same section as a factory method), | |
| Realizační výstup | 75 | The submitted archive includes a substantial amount of code, but compared to the previous version, it now also contains the test programs that were previously missing, as well as some high-level documentation. I could still locate some commented-out code while browsing through it, but overall, I could see some improvement in this part as well. | |
| Využitelnost výsledků | I still think that the description of the approach in Chapters 4 and 5 is not the easiest to follow, but with some effort, the core ideas could be extracted, extended or reused. |
eVSKP id 170514