Thesis Details
Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java
Finding concurrency bugs in complex software is difficult. As a contribution to coping with this problem the thesis proposes an architecture for a fully automated dynamic detection and healing of data races and atomicity violations in Java. Two distinct algorithms for detecting of data races are presented. One of them is a novel algorithm called AtomRace which detects data races as a special case of atomicity violations. The healing is based on suppressing a recurrence of the detected problem and can be performed by introducing an additional synchronization or by legally influencing the Java scheduler. Basically forces certain parts of the code to be executed atomically. The proposed architecture uses bytecode instrumentation to be able to track and influence the execution. The architecture and algorithms were implemented and tested on multiple case studies.
formal verification, software testing, dynamic analysis, static analysis, data races, atomicity violation, automatic healing, multi-threaded programs, Java
Bartík Vladimír, Ing., Ph.D. (DIFS FIT BUT), člen
Hanáček Petr, doc. Dr. Ing. (DITS FIT BUT), člen
Peringer Petr, Dr. Ing. (DITS FIT BUT), člen
Racek Stanislav, doc. Ing., CSc. (WBU in Pilsen), člen
Zbořil František, doc. Ing., Ph.D. (DITS FIT BUT), člen
@mastersthesis{FITMT6522, author = "Zden\v{e}k Letko", type = "Master's thesis", title = "Dynamick\'{a} detekce a l\'{e}\v{c}en\'{i} \v{c}asov\v{e} z\'{a}visl\'{y}ch chyb nad daty v prost\v{r}ed\'{i} Java", school = "Brno University of Technology, Faculty of Information Technology", year = 2008, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/6522/" }