ŠAJDÍK, O. Petriho sítě v nástroji Netlab [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Student splnil zadání v plném rozsahu. Projekt byl refaktorován na aktuální standard C++, byly odstraněny známé problémy s právy a doplněna analýza. Celý projekt byl také nově v rámci této práce zdokumentován. Celkově jsem s prací studenta spokojen a navrhuji nadprůměrné hodnocení.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Jedná se o zadání, které se dá zařadit do kategorie tzv. softwarové archeologie . Student dostal k dispozici zdrojové kódy více jak 10 let nevyvíjeného SW a jeho cílem bylo provést celkovou refaktorizaci, odstranit známá omezení a doplnit novou analyzační techniku. | ||
| Práce s literaturou | Student vycházel z učebnit model checkingu a Petriho sítí, dokumentace frameworku MFC a vědeckého článku o zpětné analýze. Volba zdrojů odpovídá zaměření práce. | ||
| Aktivita během řešení, konzultace, komunikace | Student pracoval hodně samostatně a o stavu práce informoval cca každých 5 týdnů. Pokaždé ale udělal významný pokrok v práci a na konzultace chodil dobře připraven. | ||
| Aktivita při dokončování | Práce byla dokončena včas a finální verzi jsem měl možnost si přečíst a dát k ní svoje připomínky. | ||
| Publikační činnost, ocenění | Ke zdrojovým kódům máme svolení původních autorů s jejich zveřejněním pod vhodnou open-source licencí. Zdrojové kódy tak plánujeme zveřejnit na githubu a na práci studenta dále navázat. |
Daná aplikace byla refaktorovaná pro běh v novém prostředí, je přeložitelná a funkční, implementovaná zpětná analýza je také funkční. Náročnost transformace je ale těžké posoudit, protože v technické zprávě chybí přehled úprav.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Cílem práce je refaktoring staršího programu Netlab pro MS Windows, aby byl přeložitelný a spustitelný v novějším prostředí. Nutné úpravy hodnotím jako průměrně obtížné. | ||
| Rozsah splnění požadavků zadání | Program bylo dle druhého bodu zadání nutno transformovat s ohledem na další snadnou rozšiřitelnost. Toto není ve zprávě zdokumentováno a nahlédnutím do zdrojových kódů není možné zjistit kroky nutné pro další rozšíření. Poslední bod zadání hodnotím jako nesplněný, protože v technické zprávě chybí popis postupu při rozšiřování o další moduly. | ||
| Rozsah technické zprávy | Technická zpráva má cca 60 normostran. V technické zprávě chybí přehled a vyhodnocení nutných úprav starého kódu, dokumentace dalších rozšíření a dokumentace testů. | ||
| Prezentační úroveň technické zprávy | 70 | Technická zpráva má celkem logickou strukturu. Zpráva ovšem zaostává ve využití technických vyjadřovacích prostředků (diagramů, tabulek, přehledu zdrojových kódů a nutných úprav, vnitřní datové struktury, apod.). | |
| Formální úprava technické zprávy | 80 | Z hlediska typografie i jazykové stránky práce je text až na drobnosti v pořádku. | |
| Práce s literaturou | 90 | Nejsilnější částí diplomové práce je literatura. Student vybral správné zdroje a odlišil své souhrny od zdrojů. Ve zdrojových kódech zahrnul sebe mezi autory (dle komentářů v hlavičkách zdrojových souborů takto upravil celkem 93 souborů). Licence k danému softwaru (licence MIT) by měla být ve struktuře zdrojových souborů jednoduše dostupná. Licence je k nalezení pouze jako jedna ze záložek nápovědy Windows. | |
| Realizační výstup | 60 | Realizačním výstupem je aplikace pro systémy MS Windows. Aplikace je přeložitelná aktuálním vývojovým prostředím Visual Studio (verze 17.6.2) a spustitelná na MS Windows 11. Projekt byl pro aktuální prostředí částečně migrován automaticky, ovšem bylo potřeba zasáhnout do zdrojových kódů a vyřešit dílčí problémy. Provedené úpravy jsou špatně hodnotitelné, protože nejsou řádně zdokumentované. K provedeným transformacím byla také přidána implementace přímočarého algoritmu pro zpětnou analýzu Petriho sítí. | |
| Využitelnost výsledků | Aplikace by mohla být použitelná při výuce. |
eVSKP id 144951