Detail práce

Practical Methods of Automated Verification of Concurrent Programs

Disertační práce Student: Fiedor Jan Akademický rok: 2016/2017 Vedoucí: Vojnar Tomáš, prof. Ing., Ph.D.
Název česky
Praktické metody automatizované verifikace paralelních programů
Jazyk práce
anglický
Abstrakt

V dnešní době jsou vícevláknové programy běžné a s nimi i chyby v souběžnosti. Během posledních let bylo vytvořeno mnoho technik pro detekci takovýchto chyb, a i přesto mají vývojáři softwaru problém nalézt správné nástroje pro analýzu svých programů. Důvod je jednoduchý, fungující neznamená vždy praktický. Hodně nástrojů implementujících detekční techniky je obtížně použitelných, přizpůsobených pro konkrétní typy programů nebo synchronizace, nebo špatně škálují, aby zvládly analyzovat rozsáhlý software. Pro některé typy chyb v souběžnosti dokonce ani neexistují nástroje pro jejich detekci, i přesto že vývojáři softwaru na tyto chyby často narážejí ve svých programech. Hlavním cílem této práce je navrhnout nové techniky pro detekci chyb ve vícevláknových programech. Tyto techniky by měly být schopny analyzovat rozsáhlé programy, umožnit detekci méně studovaných typů chyb v souběžnosti, a podporovat širokou škálu programů s ohledem na to, jaké programové konstrukce používají.

Klíčová slova

dynamická analýza, souběžnost, vkládání šumu, testování, transakční paměť, kontrakty

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Výpočetní technika a informatika, obor Výpočetní technika a informatika
Soubory
Stav
obhájeno
Obhajoba
23. června 2017
Citace
FIEDOR, Jan. Practical Methods of Automated Verification of Concurrent Programs. Brno, 2016. Disertační práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2017-06-23. Vedoucí práce Vojnar Tomáš. Dostupné z: https://www.fit.vut.cz/study/phd-thesis/506/
BibTeX 
@phdthesis{FITPT506,
    author = "Jan Fiedor",
    type = "Diserta\v{c}n\'{i} pr\'{a}ce",
    title = "Practical Methods of Automated Verification of Concurrent Programs",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2017,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/phd-thesis/506/"
}

Závěrečné práce

Nahoru