Thesis Details

Ověřování parametrických vlastností nad záznamy běhů programů

Master's Thesis Student: Mutňanský Filip Academic Year: 2019/2020 Supervisor: Smrčka Aleš, Ing., Ph.D.
Language
Slovak
Abstract

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

runtime verification, temporal logic, regular expression, finite automaton, Büchi automaton, Testos

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology, Field of Study Information Systems
Files
Status
defended, grade C
Date
16 July 2020
Reviewer
Kočí Radek, Ing., Ph.D.
Committee
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT), předseda
Bartík Vladimír, Ing., Ph.D. (DIFS FIT BUT), člen
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT), člen
Chudý Peter, doc. Ing., Ph.D. MBA (DCGM FIT BUT), člen
Peringer Petr, Dr. Ing. (DITS FIT BUT), člen
Rychlý Marek, RNDr., Ph.D. (DIFS FIT BUT), člen
Citation
MUTŇANSKÝ, Filip. Ověřování parametrických vlastností nad záznamy běhů programů. Brno, 2020. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2020-07-16. Supervised by Smrčka Aleš. Available from: https://www.fit.vut.cz/study/thesis/22424/
BibTeX 
@mastersthesis{FITMT22424,
    author = "Filip Mut\v{n}ansk\'{y}",
    type = "Master's thesis",
    title = "Ov\v{e}\v{r}ov\'{a}n\'{i} parametrick\'{y}ch vlastnost\'{i} nad z\'{a}znamy b\v{e}h\r{u} program\r{u}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2020,
    location = "Brno, CZ",
    language = "slovak",
    url = "https://www.fit.vut.cz/study/thesis/22424/"
}

Theses

Back to top