Original title:
Ověřování parametrických vlastností nad záznamy běhů programů
Translated title:
Parametric Properties for Log Checker
Authors:
Mutňanský, Filip ; Kočí, Radek (referee) ; Smrčka, Aleš (advisor) Document type: Master’s theses
Year:
2020
Language:
slo Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[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.
Keywords:
Büchi automaton; finite automaton; regular expression; runtime verification; temporal logic; Testos
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/192458