SÝKORA, O. Aplikace pro formální testování PLC programu [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2022.
Pán Sýkora se ve své práci musel seznámit kromě programování PLC navíc s oblastmi testování a programování v C#, přičemž vytvořil aplikaci pro formální testování PLC kódu. Po celou dobu pracoval cílevědomě v úzké spolupráci s firmou, což se kladně projevilo na systematičnosti práce. Rešerši ohledně testování pokládám za povedenou, přičemž bylo využito patřičné literatury a návodů. V popisu software je část popisu funkcí a proměnných méně přehledná, avšak ostatní části jsou povedené a jsou doplněny přehlednými diagramy. Testování pokrylo definované chyby, a dokonce je vyhodnocen čas testování. Po formální stránce jsem neshledal výraznější nedostatky. Pan Sýkora prezentoval své výsledky i na konference EEICT. Navrhuji hodnocení A (96 b.).
Práce pana Sýkory se zabývá formálním testováním kódu. Téma hodnotím jako komplexní, a to z důvodu nastudování samotné problematiky formálního testování, tak programování PLC a také programovacích nástrojů pro následnou realizaci. Rozsahem je práce nad doporučený rozsah pro bakalářské práce, avšak z hlediska komplexnosti zadání to není na škodu. Po kapitole s obecným popisem formálního testování následuje návrh způsobu testování vhodné pro firmu, se kterou bylo toto téma vypracováváno. Následně student navrhnul a vytvořil aplikaci pomocí TIA Openess. Výsledná aplikace je důkladně otestována na několika testovacích projektech. V práci jsem nenašel nic, co by bylo autorovi možno vytknout, kromě několika drobných překlepů nebo stylistických chyb. Dle přiložené práce je zcela zjevné, že schopnosti pana Sýkory jsou na úrovni studenta bakalářského studia a práci doporučuji k obhajobě s hodnocením 98 bodů A.
eVSKP id 142140