Rozšíření nástroje Plogchecker podporující strukturovaná data
| but.committee | doc. RNDr. Pavel Smrž, Ph.D. (předseda) doc. RNDr. Jitka Kreslíková, CSc. (člen) doc. Ing. Petr Matoušek, Ph.D., M.A. (člen) Ing. Vladimír Bartík, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen) Ing. Vojtěch Mrázek, Ph.D. (člen) | cs |
| but.defence | 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 A. | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie a umělá inteligence | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Smrčka, Aleš | cs |
| dc.contributor.author | Žalmánek, Matěj | cs |
| dc.contributor.referee | Rozsíval, Michal | cs |
| dc.date.accessioned | 2025-06-26T04:00:11Z | |
| dc.date.available | 2025-06-26T04:00:11Z | |
| dc.date.created | 2025 | cs |
| dc.description.abstract | Tato práce se zaměřuje na problematiku ověřování parametrických vlastností programů nad záznamy jejich běhů. Konkrétně je pak v této práci rozebrán způsob, jakým je možné specifikovat konkrétní záznamy událostí a parametry těchto událostí včetně datových typů parametrů. Tato problematika je nejprve rozebrána teoreticky, včetně zmínění nejrůznějších formátů používaných pro zaznamenávání událostí. Následně jsou v této práci specifikovány požadavky na nástroj, který je výstupem této práce, a jehož hlavním cílem je extrahovat události a jejich parametry z různých formátů záznamů událostí. Posléze je v této práci popsán návrh tohoto nástroje a nakonec je tento nástroj implementován. Výstup tohoto nástroje je poté dále využíván externím programem, který monitoruje splnění či porušení vlastností využívajících tyto události. | cs |
| dc.description.abstract | This thesis focuses on the problem of verifying parametric properties of programs based on logs of their execution. Specifically, this work discusses how to specify specific events and the parameters of these events, including the data types of the parameters. This issue is first discussed theoretically, including mention of the various formats used for event logging. Then, the requirements for the tool that is the output of this work are specified, whose main goal is to extract events and their parameters from various event record formats. Subsequently, the design of this tool is described and finally this tool is implemented. The output of this tool is then further used by an external program that monitors the fulfillment or violation of properties using these events. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | Ž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. | cs |
| dc.identifier.other | 158135 | cs |
| dc.identifier.uri | https://hdl.handle.net/11012/255032 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Parametrická verifikace programů za běhu | cs |
| dc.subject | monitorování běhů programu | cs |
| dc.subject | formáty záznamů událostí | cs |
| dc.subject | definice událostí | cs |
| dc.subject | definice parametrů událostí | cs |
| dc.subject | definice datových typů parametrů | cs |
| dc.subject | parametrické události | cs |
| dc.subject | extrakce událostí | cs |
| dc.subject | strukturované datové typy v událostech | cs |
| dc.subject | Parametric verification of programs at runtime | en |
| dc.subject | runtime monitoring | en |
| dc.subject | event definition | en |
| dc.subject | event log formats | en |
| dc.subject | event parameter definition | en |
| dc.subject | parameter data type definition | en |
| dc.subject | parametric events | en |
| dc.subject | event extraction | en |
| dc.subject | structured data types in events | en |
| dc.title | Rozšíření nástroje Plogchecker podporující strukturovaná data | cs |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2025-06-25 | cs |
| dcterms.modified | 2025-06-25-13:24:49 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 158135 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.06.26 06:00:11 | en |
| sync.item.modts | 2025.06.26 05:33:14 | en |
| thesis.discipline | Softwarové inženýrství | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |