Thesis Details

Přesné heuristiky pro vkládání šumu v nástroji SearchBestie

Bachelor's Thesis Student: Kozák David Academic Year: 2016/2017 Supervisor: Křena Bohuslav, Ing., Ph.D.
English title
Fine-Grain Noise-Injection Heuristics for SearchBestie Infrastructure
Language
Czech
Abstract

The main topic of this thesis is testing of concurrent Java programs. Concurrency errors often manifest rarely. To increase a chance to spot such errors, a technique called noise injection can be used. This technique inserts extra instruction into the application under test to disturb the scheduler and thus to explore less common thread scheduling. Because noise injection can be parameterized in many ways, a tool called SearchBestie was created to handle noise-based testing as a search problem. SearchBestie used a tool called Contest for bytecode instrumentation and test execution. However, the development of ConTest has been discontinued and therefore an alternative tool was necessary. In the first part of this thesis, SearchBestie was connected with a tool called RoadRunner, which replaced ConTest. Afterwards new fine-grain noise-injection heuristics have been proposed and implemented. Experiments proved that these heuristics achieve better results in most cases.

Keywords

software verification, testing, concurrent programming, Java, concurrency errors, noise injection, metrics for testing

Department
Degree Programme
Information Technology
Files
Status
defended, grade A
Date
29 August 2017
Reviewer
Committee
Růžička Richard, doc. Ing., Ph.D., MBA (DCSY FIT BUT), předseda
Hliněná Dana, doc. RNDr., Ph.D. (DMAT FEEC BUT), člen
Chudý Peter, doc. Ing., Ph.D. MBA (DCGM FIT BUT), člen
Kreslíková Jitka, doc. RNDr., CSc. (DIFS FIT BUT), člen
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT), člen
Citation
KOZÁK, David. Přesné heuristiky pro vkládání šumu v nástroji SearchBestie. Brno, 2017. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2017-08-29. Supervised by Křena Bohuslav. Available from: https://www.fit.vut.cz/study/thesis/19986/
BibTeX
@bachelorsthesis{FITBT19986,
    author = "David Koz\'{a}k",
    type = "Bachelor's thesis",
    title = "P\v{r}esn\'{e} heuristiky pro vkl\'{a}d\'{a}n\'{i} \v{s}umu v n\'{a}stroji SearchBestie",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/19986/"
}
Back to top