Thesis Details

Generování testovacích vstupů podle stopy programu

Master's Thesis Student: Sušovský Tomáš Academic Year: 2018/2019 Supervisor: Smrčka Aleš, Ing., Ph.D.
English title
Generating Test Inputs Based on Program Trace
Language
Czech
Abstract

This thesis focuses on design and implementation of a tool for automated generation of test inputs for a specified program trace. The aim of the thesis is to make development of testing suites (complying a given advanced coverage criteria) easier and more effective. These kinds of test suites are used in critical applications with code base written in low-level languages like C/C++ with strict restrictions applied. The tool investigates a program model and what conditions must be met to execute program in a way following provided trace. The tool uses advanced SMT-solver tool (software tool specialized for solving satisfiability problem) for generating fitting values. LLVM compiler framework libraries are used for modelling a program. Z3 library is used as a SMT-solver backend. This thesis brings results in architectural and implementation design of a tool capable of test inputs generation based on program analysis and provided program trace to cover.

Keywords

Software testing, LLVM, SMT-LIB, Test inputs generation

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology, Field of Study Information Technology Security
Files
Status
defended, grade A
Date
20 June 2019
Reviewer
Malík Viktor, Ing.
Committee
Smrž Pavel, doc. RNDr., Ph.D. (DCGM FIT BUT), předseda
Drábek Vladimír, doc. Ing., CSc. (DCSY FIT BUT), člen
Hanáček Petr, doc. Dr. Ing. (DITS FIT BUT), člen
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT), člen
Pavlík Jan, Mgr., Ph.D. (DADM FME BUT), člen
Veselý Vladimír, Ing., Ph.D. (DIFS FIT BUT), člen
Citation
SUŠOVSKÝ, Tomáš. Generování testovacích vstupů podle stopy programu. Brno, 2019. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2019-06-20. Supervised by Smrčka Aleš. Available from: https://www.fit.vut.cz/study/thesis/22088/
BibTeX 
@mastersthesis{FITMT22088,
    author = "Tom\'{a}\v{s} Su\v{s}ovsk\'{y}",
    type = "Master's thesis",
    title = "Generov\'{a}n\'{i} testovac\'{i}ch vstup\r{u} podle stopy programu",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2019,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/22088/"
}

Theses

Back to top