ŽALMÁNEK, M. Rozšíření nástroje Plogchecker podporující strukturovaná data [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2025.
Matěj Žalmánek splnil všechna očekávání - navrhl dotazovací jazyk s ohledem na jednoduchost použití a implementoval funkční nástroj, který zpracovává strukturované záznamy událostí pro další zpracování nástrojem Plogchecker.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Cílem diplomové práce bylo rozšířit nástroj Plogchecker, který zpracovává aplikační a systémové logy a nad nimi provádí runtime verifikaci, o podporu zpracování stromově strukturovaných dat. Současný nástroj podporouje pouze události definované pomocí regulárních výrazů. Smyslem diplomové práce bylo akceptovat záznamy událostí obsahující data ve formátu JSON nebo XML. Nástroj, kterého student dosáhl, odpovídá požadavkům. | ||
| Práce s literaturou | Kromě doporučených zdrojů týkající se dotazovacích jazyků si student studijní prameny vybíral sám. | ||
| Aktivita během řešení, konzultace, komunikace | Student byl vesměs aktivní po celou dobu práce na projektu. Konzultace sám inicioval a byl připraven s jistým pokrokem v práci. | ||
| Aktivita při dokončování | Technická zpráva byla dokončena v dostatečném předstihu, aby mohly být zapracovány všechny důležité připomínky. | ||
| Publikační činnost, ocenění |
Student detailně prozkoumal funkcionalitu původního nástroje. Identifikoval nedostatky jeho specifikačního jazyka a navrhl a implementoval jeho rozšíření pro podporu textových záznamů obsahující stromové datové struktury. Pro implementaci využil vhodný architektonický vzor, čímž umožnil paralelní zpracování vstupních dat. Současně také přidal podporu pro jejich proudové zpracování. Vytvořené řešení bude začleněno v platformě Testos.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Cílem práce bylo rozšířit specifikační jazyk nástroje Plogchecker (vytvořen na FIT VUT) o podporu strukturovaných dat a rozšířit samotný nástroj Plogchecker o podporu zpracování textových záznamů obsahujících stromové datové struktury. Student si musel prostudovat funkcionalitu aktuálního nástroje a jeho specifikačního jazyka spolu s formátem stromových datových struktur a jejich použití v textových záznamech a navrhnout vhodná rozšíření a způsob integrace. Zadání hodnotím jako průměrně obtížné. | ||
| Rozsah splnění požadavků zadání | |||
| Rozsah technické zprávy | Práce má téměř 80 normostran. V přílohách jsou navíc obsaženy vytvořené diagramy. | ||
| Prezentační úroveň technické zprávy | 90 | Technická dokumentace obsahuje všechny potřebné kapitoly, které jsou logicky řazené a smysluplné. Kapitola návrhu je vhodně doplněna o diagramy. Celkově k technické dokumentaci mám jen pár výhrad: - Popis existujících dotazovacích jazyků v podkapitole 4.2.3 mohl být uveden v kapitole o teorii. - Popis navrženého dotazovacího jazyka v kapitole 4.4.5 mohl být spojen s jeho popisem v podkapitole 4.2.3. - Kapitola 3 (specifikaci rozšíření původního nástroje) je krátká a mohla být spojena s kapitolou 4 (návrh). | |
| Formální úprava technické zprávy | 90 | Technická zpráva je psána v českém jazyce na dobré jazykové úrovni. Celkově se v práci vyskytuje pouze malé množství nezávažných typografických a jazykových chyb. | |
| Práce s literaturou | 90 | K výběru literatury nemám výhrady. | |
| Realizační výstup | 94 | Student vytvořil komplexní aplikaci pro zpracování textových záznamů obsahujících stromové datové struktury. Detailně prozkoumal současné řešení, odhalil jeho nedostatky a navrhl a implementoval jejich řešení v podobě samostatného nástroje, který doplňuje aktuální nástroj Plogchecker. Vytvořené řešení je doplněno o automatizované testy. Zdrojový kód je vhodně členěný, formátovaný a doplněný o dokumentační komentáře, ze kterých je možné automaticky vygenerovat dokumentaci. Vytvořené řešení bylo studentem demonstrováno a je funkční. | |
| Využitelnost výsledků | Vytvořené řešení umožňuje zpracovávat textové záznamy obsahující stromové datové struktury. Rozšiřuje funkcionalitu původního nástroje a bude začleněno do platformy Testos. |
eVSKP id 158135