Thesis Details

Optimalizace testování pomocí algoritmů prohledávání prostoru

Master's Thesis Student: Starigazda Michal Academic Year: 2014/2015 Supervisor: Letko Zdeněk, Ing., Ph.D.
English title
Test Optimization by Search-Based Algorithms
Language
Czech
Abstract

Testing of multi-threaded programs is a demanding work due to the many possible thread interleavings one should examine. The noise injection technique helps to increase the number of tested thread interleavings by noise injection to suitable program locations. This work optimizes meta-heuristics search techniques in the testing of concurrent programs by utilizing deterministic heuristic in the application of genetic algorithms in a space of legal program locations suitable for the noise injection. In this work, several novel deterministic noise injection heuristics without dependency on the random number generator are proposed in contrary to the most of currently used heuristic. The elimination of the randomness should make the search process more informed and provide better, more optimal, solutions thanks to increased stability in the results provided by novel heuristics. Finally, a benchmark of programs, used for the evaluation of novel noise injection heuristics is presented.

Keywords

testing, test optimization, search-based algorithms, metaheuristics, noise injection, multi-threaded software, genetic algorithms, coverage metrics

Department
Degree Programme
Information Technology, Field of Study Information Technology Security
Files
Status
defended, grade B
Date
24 June 2015
Reviewer
Committee
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Burget Radek, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Drahanský Martin, prof. Ing., Dipl.-Ing., Ph.D. (DITS FIT BUT), člen
Hrubý Martin, Ing., Ph.D. (DITS FIT BUT), člen
Rozinajová Viera, doc. Ing., Ph.D. (FIIT STU), člen
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Citation
STARIGAZDA, Michal. Optimalizace testování pomocí algoritmů prohledávání prostoru. Brno, 2015. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2015-06-24. Supervised by Letko Zdeněk. Available from: https://www.fit.vut.cz/study/thesis/17849/
BibTeX
@mastersthesis{FITMT17849,
    author = "Michal Starigazda",
    type = "Master's thesis",
    title = "Optimalizace testov\'{a}n\'{i} pomoc\'{i} algoritm\r{u} prohled\'{a}v\'{a}n\'{i} prostoru",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/17849/"
}
Back to top