Thesis Details

Generování modelů pro testy ze zdrojových kódů

Master's Thesis Student: Kraut Daniel Academic Year: 2018/2019 Supervisor: Smrčka Aleš, Ing., Ph.D.
English title
Generating of Testing Models from Source Code
Language
Czech
Abstract

The aim of the masters thesis is to design and implement a tool for automatic generation of paths in source code. Firstly was acquired a study of model based testing and possible design for the desired automatic generator based on coverage criteria defined on CFG model. The main point of the master theis is the tool design and description of its implementation. The tool supports many coverage criteria, which allows the user of such tool to focus on specific artefact of the system under test. Moreover, this tool is tuned to allow aditional requirements on the size of generated test suite, reflecting real world practical usage. The generator was implemented in C++ language and web interface for it in Python language, which at the same time is used to integrated the tool into Testos platform.

Keywords

automatic generator, testing, model checking, coverage criteria, control flow, data flow, logical expression, test path, LLVM, IR, CFG

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology, Field of Study Intelligent Systems
Files
Status
defended, grade C
Date
19 June 2019
Reviewer
Malík Viktor, Ing.
Committee
Zbořil František V., doc. Ing., CSc. (DITS FIT BUT), předseda
Beran Vítězslav, doc. Ing., Ph.D. (DCGM FIT BUT), člen
Horák Aleš, doc. RNDr., Ph.D. (FI MUNI), člen
Hrubý Martin, Ing., Ph.D. (DITS FIT BUT), člen
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), člen
Rozman Jaroslav, Ing., Ph.D. (DITS FIT BUT), člen
Citation
KRAUT, Daniel. Generování modelů pro testy ze zdrojových kódů. Brno, 2019. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2019-06-19. Supervised by Smrčka Aleš. Available from: https://www.fit.vut.cz/study/thesis/21628/
BibTeX 
@mastersthesis{FITMT21628,
    author = "Daniel Kraut",
    type = "Master's thesis",
    title = "Generov\'{a}n\'{i} model\r{u} pro testy ze zdrojov\'{y}ch k\'{o}d\r{u}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2019,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/21628/"
}

Theses

Back to top