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
not defended
Date
14 June 2016
Reviewer
Fiedor Tomáš, Ing., Ph.D.
Committee
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Bartík Vladimír, Ing., Ph.D. (DIFS FIT BUT), člen
Burget Lukáš, doc. Ing., Ph.D. (DCGM FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
Strnadel Josef, Ing., Ph.D. (DCSY 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-06-14. Supervised by Smrčka Aleš. Available from: https://www.fit.vut.cz/study/thesis/18777/
BibTeX 
@bachelorsthesis{FITBT18777,
    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/18777/"
}

Theses

Back to top