Thesis Details

Automatická tvorba testovacích případů z datových toků

Bachelor's Thesis Student: Kraut Daniel Academic Year: 2015/2016 Supervisor: Smrčka Aleš, Ing., Ph.D.
English title
Automatic Generation of Test Cases from Data-Flow
Language
Czech
Abstract

This thesis deals with automatic generation of test cases on Unit testing level for source codes in C language. In order to achieve automatization are used methods of approach to software as a Data-flow of variables. There is outlined a process of creating tests here as well as a function of CSP solvers which are necessary part of solving this problems. Static code analysis is accessed with LibTooling libraring as part of a compiler front-end project Clang. Output of a developed application are provided here which is automatically generated input values for test cases.

Keywords

testing, static analysis, automatization, Clang, CSP, Gecode, C language

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade C
Date
30 August 2016
Reviewer
Fiedor Tomáš, Ing., Ph.D.
Committee
Růžička Richard, doc. Ing., Ph.D., MBA (DCSY FIT BUT), předseda
Chudý Peter, doc. Ing., Ph.D. MBA (DCGM FIT BUT), člen
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT), člen
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT), člen
Zbořil František V., doc. Ing., CSc. (DITS FIT BUT), člen
Citation
KRAUT, Daniel. Automatická tvorba testovacích případů z datových toků. Brno, 2016. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2016-08-30. Supervised by Smrčka Aleš. Available from: https://www.fit.vut.cz/study/thesis/19285/
BibTeX 
@bachelorsthesis{FITBT19285,
    author = "Daniel Kraut",
    type = "Bachelor's thesis",
    title = "Automatick\'{a} tvorba testovac\'{i}ch p\v{r}\'{i}pad\r{u} z datov\'{y}ch tok\r{u}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2016,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/19285/"
}

Theses

Back to top