Název:
Ověřování parametrických vlastností nad záznamy běhů programů
Překlad názvu:
Parametric Properties for Log Checker
Autoři:
Mutňanský, Filip ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2020
Jazyk:
slo
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [slo][eng]
Cieľom tejto práce je vytvorenie nástroja, ktorý dokáže na základe užívateľom definovaných vlastností overiť, či postupnosť udalostí v záznamoch behu programu, alebo v log súbore vyhovuje definovaným vlastnostiam. Na definíciu vlastností sú použité rozšírené regulárne výrazy. Nástroj vie overovať parametrické vlastnosti. Užívateľ môže definovat závislosti medzi parametrami udalostí. Vstupom výsledného nástroja je definícia vlastností a obmedzení nad parametrami. Výstupom je report o porušených vlastnostiach s uvedenými sekvienciami udalostí, ktoré chybu spôsobili.
The goal of this thesis is to implement a tool that based on user defined properties can verify sequences of events in the traces of the program, or the log file. Properties are defined in extended regular expressions. The tool is able to verify parametric properties. User can define relations between parameters of events. Input of this tool is the definition of properties and constraints of parameters. Output of the tool is the report of violated properties with its sequences of events that caused the error.
Klíčová slova:
Büchi automaton; finite automaton; regular expression; runtime verification; temporal logic; Testos
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/192458