Thesis Details

Dynamické analyzátory pro platformu SearchBestie

Master's Thesis Student: Janoušek Martin Academic Year: 2016/2017 Supervisor: Smrčka Aleš, Ing., Ph.D.
English title
Dynamic Analyzers for SearchBestie Platform
Language
Czech
Abstract

This master thesis deals with the design and implementation of dynamic analyzer of parametrized contracts. In the first part of the thesis, the problematics of testing of parallel programs are discussed and issues when dealing with parallelism are described. Further, methods how to reveal concurrency bugs via dynamic analysis are described, in particular FastTrack and Contract validator. The second part of the thesis proposes an extension for RoadRunner framework and SearchBestie platform for contract validator with parameters.

Keywords

Dynamic analysis, testing of parallel programs, contract analyzer, SearchBestie, RoadRunner

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology, Field of Study Intelligent Systems
Files
Status
defended, grade A
Date
19 June 2017
Reviewer
Češka Milan, doc. RNDr., Ph.D.
Committee
Zbořil František V., doc. Ing., CSc. (DITS FIT BUT), předseda
Čadík Martin, doc. Ing., Ph.D. (DCGM FIT BUT), člen
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT), člen
Orság Filip, Ing., Ph.D. (DITS FIT BUT), člen
Rozman Jaroslav, Ing., Ph.D. (DITS FIT BUT), člen
Šimko Marián, doc. Ing., Ph.D. (FIIT STU), člen
Citation
JANOUŠEK, Martin. Dynamické analyzátory pro platformu SearchBestie. Brno, 2017. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2017-06-19. Supervised by Smrčka Aleš. Available from: https://www.fit.vut.cz/study/thesis/19444/
BibTeX 
@mastersthesis{FITMT19444,
    author = "Martin Janou\v{s}ek",
    type = "Master's thesis",
    title = "Dynamick\'{e} analyz\'{a}tory pro platformu SearchBestie",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/19444/"
}

Theses

Back to top