Thesis Details

Aplikace založené na generátoru testovacích případů

Bachelor's Thesis Student: Leonteva Valeriia Academic Year: 2020/2021 Supervisor: Strnadel Josef, Ing., Ph.D.
English title
Applications Based on Generator of Test Cases
Language
Czech
Abstract

The aim of this bachelor's thesis is to create an overview of the current state of tools that allow automatic generation of test cases and select one tool to show how it works and its ability to generate executable tests. The UPPAAL program was chosen for the following work. Tool allows to create a model of the selected system using timed automata, verify and simulate its operation and create a test case for the system. In the results, the tool generates a path through the system, which can be saved in the form of executable test cases in any programming language. Three different systems were chosen for testing: a light switch system implemented in Java; 2-bit multiplier, which behavior is described by Verilog language; and a simplified elevator system, which working process is introduced in C language. As a result, executable test cases were obtained for selected systems along with their features such as system coverage, number of steps to achieve goals, and quality of generated paths.

Keywords

Testing, test case, test case generation, coverage, UPPAAL.

Department
Degree Programme
Information Technology
Files
Status
defended, grade C
Date
17 June 2021
Reviewer
Committee
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), předseda
Burget Lukáš, doc. Ing., Ph.D. (DCGM FIT BUT), člen
Mrázek Vojtěch, Ing., Ph.D. (DCSY FIT BUT), člen
Rozman Jaroslav, Ing., Ph.D. (DITS FIT BUT), člen
Citation
LEONTEVA, Valeriia. Aplikace založené na generátoru testovacích případů. Brno, 2021. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2021-06-17. Supervised by Strnadel Josef. Available from: https://www.fit.vut.cz/study/thesis/23585/
BibTeX
@bachelorsthesis{FITBT23585,
    author = "Valeriia Leonteva",
    type = "Bachelor's thesis",
    title = "Aplikace zalo\v{z}en\'{e} na gener\'{a}toru testovac\'{i}ch p\v{r}\'{i}pad\r{u}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2021,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/23585/"
}
Back to top