Detail práce

Testing of generated C compilers for processors in embedded systems

Disertační práce Student: Dolíhal Luděk Akademický rok: 2016/2017 Vedoucí: Hruška Tomáš, prof. Ing., CSc.
Název česky
Testování generovaných překladačů jazyka c pro procesory ve vestavěných systémech
Jazyk práce
anglický
Abstrakt

Vestavěné systémy se staly nepostradatelnými pro náš každodenní život. Jsou to obvykle úzce zaměřená, vysoce optimalizovaná, jednoúčelová zařízení. Jádro vestavěných zařízení obvykle tvoří jeden nebo více aplikačně specifických instrukčních procesorů. Tato disertační práce se zaměřuje na problematiku testování nástrojú pro návrh aplikačně specifických procesorů a následně i samotných aplikačne specifických procesorů. Snahou bylo vytvořit systém, ve kterém bude možné otestovat jednotlivé nástroje, jako například překladač, assembler, disassembler, debugger. Nicméně vyvstává také potřeba provádět složitější testy, například integrační, které zaručí, že mezi jednotlivými nástroji nevzniká nekompatibilita. Autor vytvořil s podporou přůběžně integračního serveru prostředí, které napomáhá odhalování a odstraňování chyb při návrhu aplikačně specifických procesorů a které je navíc do značné míry automatizované.

Klíčová slova

Testování, překladače, průběžná integrace, hardware/software codesign, procesory s aplikačně specifickou instrukční sadou, jazyky pro popis architektury, vestavěné systémy.

Ústav
Studijní program
Výpočetní technika a informatika, obor Výpočetní technika a informatika
Soubory
Stav
obhájeno
Obhajoba
12. května 2017
Citace
DOLÍHAL, Luděk. Testing of generated C compilers for processors in embedded systems. Brno, 2016. Disertační práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2017-05-12. Vedoucí práce Hruška Tomáš. Dostupné z: https://www.fit.vut.cz/study/phd-thesis/602/
BibTeX
@phdthesis{FITPT602,
    author = "Lud\v{e}k Dol\'{i}hal",
    type = "Diserta\v{c}n\'{i} pr\'{a}ce",
    title = "Testing of generated C compilers for processors in embedded systems",
    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/602/"
}
Nahoru