Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
bakalářská práce
Autor práce: Bc. Radim Kopřiva
Ak. rok: 2023/2024
Vedoucí: Ing. Jan Fiedor, Ph.D.
Oponent: Ing. Ondřej Vašíček
Tato bakalářská práce představuje vývoj a implementaci webového klienta pro nástroj Unite. Zaměřuje se na návrh a implementaci uživatelského rozhraní, které uživatelům umožňuje spouštět analýzy a zobrazovat jejich výsledky pomocí analytických nástrojů transformovaných nástrojem Unite. Práce poskytuje základní přehled o technologiích OSLC a Unite, a také shrnutí návrhu, implementace a testování webového klienta.
Unite, OSLC, webový klient, RDF, Svelte, JavaScript, proxy server, OSLC Automation
Termín obhajoby
11.06.2024
Výsledek obhajoby
obhájeno (práce byla úspěšně obhájena)
Klasifikace
C
Průběh obhajoby
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C.
Otázky k obhajobě
Jazyk práce
čeština
Fakulta
Fakulta informačních technologií
Ústav
Ústav inteligentních systémů
Studijní program
Informační technologie (BIT)
Složení komise
doc. Ing. František Zbořil, Ph.D. (předseda) Ing. Libor Polčák, Ph.D. (člen) doc. Mgr. Lukáš Holík, Ph.D. (člen) doc. Ing. Vítězslav Beran, Ph.D. (člen) Ing. Radek Hranický, Ph.D. (člen)
Posudek vedoucíhoIng. Jan Fiedor, Ph.D.
Celkově hodnotím práci velmi kladně. Vytknout lze jen slabé vypracování technické zprávy, které bylo částečně způsobeno neočekávanou situací vedoucího, jenž nebyl schopen práci při dokončování připomínkovat a korigovat tak její obsah i formu. Slabou technickou zprávu ovšem kompenzuje výborný realizační výstup, který je prakticky okamžitě využitelný v praxi, jak dokládají skvělé ohlasy ze společnosti Honeywell, kde mají zájem o pilotní nasazení klienta v jednom z největších vývojových programů.
Cílem práce bylo vytvořit webového klienta pro nástroj Unite, který umožňuje vzdálené spouštění nástrojů pro analýzu skrz OSLC rozhraní. Webový klient musí umožnit uživateli zadat všechna potřebná vstupní data pro úspěšné provedení analýzy vybraným nástrojem, spustit tuto analýzu a získat její výsledky.
Původním záměrem bylo vytvořit klienta, který umožní uživateli definovat UI pro interakci s daným nástrojem, jelikož automatické generování tohoto UI je značně obtížné. Student nakonec tuto obtížnou variantu úspěšně naimplementoval, práci tedy hodnotím jako obtížnější.
Práce byla vytvořena ve spolupráci se společností Honeywell a výzkumnou skupinou VeriFIT, jenž využívají nástroj Unite pro spouštění různých nástrojů pro analýzu programů a modelů. Tento klient výrazně usnadní využívání nástroje Unite jak zaměstnancům společnosti Honeywell, tak členům výzkumné skupiny VeriFIT.
Student aktivně vyhledával relevantní zdroje informací a využíval je k řešení bakalářské práce. V realizační části práce opomněl zmínit některé zdroje týkající se nástroje Unite, které byly využity při implementaci klienta. Na tyto nedostatky ho měl upozornit vedoucí (viz. aktivita při dokončování).
Student pracoval samostatně, řešení konzultoval v případě potřeby buď osobně nebo přes platformu MS Teams. Na konzultace byl vždy dostatečně připraven.
Student se zabral do řešení realizačního výstupu práce a trochu podcenil možství času potřebného k sepsání technické zprávy, na které začal pracovat až necelé dva týdny před odevzdáním. První draft práce byl zaslán vedoucímu necelý týden před odevzdáním, což dává stále dostatek času pro zkonzultování obsahu a zapracování připomínek. Bohužel díky neočekávaným a urgentním rodinným důvodům nebyl vedoucí schopen zprávu připomínkovat do jejího odevzdání, což velmi ztížilo studentovi situaci při dokončování technické zprávy. Technická zpráva má řadu nedostatků, velká část z nich ovšem mohla být odstraněna, když by student dostal připomínky vedoucího.
Vytvořený klient předčil očekávání jak technického vedoucího ze společnosti Honeywell, tak členů výzkumné skupiny VeriFIT, jenž využívají Unite. Implementovaná varianta dynamicky generující UI umožňuje rychlé a jednoduché použití klienta v praxi. Aktuálně se připravuje demo pro vedoucího V&V týmu platformy Honeywell Anthem, kde mají zájem o využití tohoto klienta pro interakci s několika in-house nástroji pro analýzu. Klient byl již úspěšně otestován na jednom z těchto nástrojů a to nástroji HiLiTE pro automatické generování testů. Tento nástroj by měl být v brzké době rozšiřován o nástroj Z3-Noodler vyvíjený výzkumnou skupinou VeriFIT, kde se předpokládá využití klienta i těmito uživateli.
Známka navržená vedoucím: B
Posudek oponentaIng. Ondřej Vašíček
Realizační výstup této práce je hodnocen stupněm A, jelikož jeho funkcionalita je velmi dobrá a má potenciál pro praktické použití. Student dále implementoval náročnější a univerzálnější variantu řešení.
Celkové hodnocení je ale bohužel velmi výrazně ovlivněno kvalitou textu práce, která je nízká z pohledu jazyka, typografie, rozsahu i informací o řešení. Toto bylo pravděpodobně do značné míry způsobeno dokončováním textu na poslední chvíli.
Stupeň hodnocení: obtížnější zadání
Zadání považuji za spíše obtížnější, protože grafické rozhraní klienta musí být přizpůsobytelné pro konkrétní nástroje, které jsou k dispozici na konkrétním serveru Unite, který je sám konfigurovatelný pro spouštění téměř libovolného nástroje s rozhraním na příkazové řádce.
Struktura a návaznost kapitol a pochopitelnost textu jsou v pořádku. Z informačního hlediska jsou v pořádku úvodní sekce, ale sekce popisující vlastní řešení (především implementaci) jsou informačně slabé, přestože zde mohla být popsána řada zajímavých věcí.
Výčet nedostatků:
Z pohledu jazyka a typografie je kvalita práce velmi nízká.
Klient, který byl vytvořen v této práci, poskytuje veškerou očekávanou funkcionalitu a byl otestován na devíti nástrojích (kde zadání požadovalo alespoň dva). Výborným a náročnějším aspektem vytvořeného klienta je již zmiňované dynamické generování uživatelského rozhraní v závislosti na konfiguraci serveru Unite.
Dále oceňuji pečlivost studenta v implementování pomocných funkcionalit jako je předvyplňování výchozích hodnot, volba omezených hodnot parametrů z rozbalovacího seznamu, možnost stahování výstupních souborů a dalších.
Vytvořený klient poskytuje webové uživatelské rozhraní pro nástroj Unite, které doposud chybělo. Tento klient má potenciál stát se novým primárním způsobem interakce s nástrojem Unite, který je prakticky nasazený ve firmě Honeywell.
Stupeň hodnocení: zadání splněno
Student obtížnější zadání splnil implementací složitější a univerzálnější varianty řešení, která dynamicky generuje uživatelské rozhraní přímo na základě informací o konkrétních nástrojích, které klient získává ze serveru Unite.
Stupeň hodnocení: splňuje pouze minimální požadavky
Bez obrázků je práce v rozsahu necelých 37 normostran. Minimální rozsah je splněn po přičtení obrázků. Práce je ale celkově na minimální hranici rozsahu vzhledem k jednomu duplikovanému odstavci, nadměrné velikosti některých obrázků, jednomu zbytečnému obrázku (obrázek 7.1 oproti obrázku 7.2) a téměř zbytečnému opakování informací v některých souhrnných sekcích (sekce 4.2.4. a v menší míře sekce 4.1.4).
Zdroje informací pro použité technologie a úvodní koncepty jsou citovány v pořádku.
Známka navržená oponentem: D
Odpovědnost: Mgr. et Mgr. Hana Odstrčilová