Detail práce
A Library for Detection of Semantic Properties of Tree Structures
Testování multikomponentních IT a IoT systémů, které zpracovávají proudy různých zpráv je složitou úlohou. Proč je to složité? Kvůli množství komponentů, jejích asynchronní interakcí, různým kombinacím události pro testování, testovacímu prostředí, které se liší od reálného a množství dalším důvodů. Táhle práce navrhuje způsob generování komplexních dat pro testovací účely s minimálním zásahem vývojářů. Generování dat založeno na analýze sledu komunikace reálného systému a následnou syntézou podobných sledů pro testování. Práce také navrhuje framework na prvotní analýzu zpráv přenášených v zachycené komunikace. Tohle může být uděláno použitím různých abstraktních modelů: modelu zprávy a modelu komunikaci. Výsledkem téhle práce je implementovaní knihovna na tvorbu modelu zprávy a množina operací pro práci s tímto modelem.
SCADA, Abstraktní datové struktury, Testování, IoT, Prefixní strom, Digitální dvojče.
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 B.
- V obrázku 6.5 je merging time dvojnásobek času načtení. Není to náhodou tím, že musíme načíst dva stromy? V takovém případě by tento graf byl zbytečný.
- strana 68, 69: v čem je problém u testovací sady 2_425? Je to jedinná sada, kde vaše technika nefunguje.
- Z vytvořeného modelu chcete generovat nové zprávy? Za jakých podmínek budou vygenerované zprávy validní?
- Kde v reálném světě může být vaše práce použitelná?
- Jste schopen porovnat dva stromy?
Burget Lukáš, doc. Ing., Ph.D. (UPGM FIT VUT), člen
Hradiš Michal, Ing., Ph.D. (UPGM FIT VUT), člen
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT), člen
Kočí Radek, Ing., Ph.D. (UITS FIT VUT), člen
Rozman Jaroslav, Ing., Ph.D. (UITS FIT VUT), člen
@mastersthesis{FITMT22423, author = "Sergey Panov", type = "Diplomov\'{a} pr\'{a}ce", title = "A Library for Detection of Semantic Properties of Tree Structures", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2020, location = "Brno, CZ", language = "english", url = "https://www.fit.vut.cz/study/thesis/22423/" }