|
Refactoring and Verification of the Code of mkfs xfs
Ťulák, Jan ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work describes the processes of refactoring mkfs.xfs program for a purpose of refining its code and cleaning the technical debt accumulated over 20 years of the program’s existence. The mkfs.xfs source code is then a subject to static analysis and the used tools (CppCheck, Coverity, Codacy, GCC, Clang) are compared in terms of the number and type of the found defects.
|
| |
|
Testování paměti na architektuře SGI/MIPS
Rydlo, Karol ; Jaroš, Jiří (oponent) ; Kašpárek, Tomáš (vedoucí práce)
Moje bakalářská práce se zabývá zprovozněním a vytvořením vlastních testů paměti na grafických stanicích SGI O2, což sebou přináší seznámení se s architekturou procesorů MIPS a pokouší se najít ideální prostředí pro provádění těchto testů. S tím úzce souvisí hledání vhodného způsobu spouštění a překladu aplikací pro stanice SGI O2, kde se zabývá také využitím křížových kompilátorů.
|
|
Vývojový modul s 32bitovým procesorem typu ARM
Pokorný, Vladimír ; Fedra, Zbyněk (oponent) ; Frýza, Tomáš (vedoucí práce)
Práce se zabývá návrhem vývojového modulu s procesorem ARM. Nejprve je proveden stručný popis historie vývoje tohoto procesoru a jeho vnitřní struktury. Poté je krátce popsán vybraný procesor Atmel AT91SAM7SE512. V další části jsou představeny volně dostupné vývojové nástroje. V následující části je proveden návrh zapojení vývojového modulu. Na závěr byla podle tohoto návrhu deska vyrobena, oživena a otestována pomocí vzorového programu napsaném ve vývojovém prostředí Eclipse.
|
| |
| |
|
Instrumentace programů pro měření pokrytí
Václavík, Jan ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a implementací nástroje Ginstrum sloužící pro instrumentaci programů napsaných v jazyce C během překladu. Nástroj je implementován formou zásuvného modulu pro překladač GCC a instrumentuje místa programu, která přistupují do paměti, zapisují do paměti nebo volají funkce. Vzhledem k plánovanému použití nástroje pro testování a dynamickou analýzu umožňuje nástroj také vytvořit data z překladu, která slouží pro následnou analýzu pokrytí překládaného kódu testy.
|
|
GIMPLE Model Checker
Krč-Jediný, Ondrej ; Šerý, Ondřej (vedoucí práce) ; Hauzar, David (oponent)
Název práce: GIMPLE Model Checker Autor: Ondrej Krč-Jediný Katedra (ústav): Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Ondřej Šerý Ph.D. e-mail vedoucího: Ondrej.Sery@mff.cuni.cz Abstrakt: Cieľom práce je implementácia základných prvkov explicit-state model checkeru pre jazyk C - pokročilého nástroja na hľadanie chýb v programoch. Tento nástroj prehľadáva všetky možné cesty, ktorými môže byť program vykonávaný a zároveň vyskúša všetky možné kombinácie prekladania vlákien. Nástroj je založený na GIMPLE - výstupe front-endu kompilátora GCC, ktorý berie za svoj vstupný jazyk. Práca využíva predchádzajúcu prácu 'Memory representa- tion for GIMPLE Model Checker', ktorá implementuje prácu s pamäťou pre tento nástroj. Tým, že je nástroj vychádza z GIMPLE, umožňuje overovanie systémov priamo v jazyku C, naviac je ľahko rozšíriteľný na iné jazyky podporované GCC. 1
|
| |
|
Vliv cen ropy na ekonomiky států Perského zálivu
Kubinec, Kryštof
Kubinec K., Vliv cen ropy na ekonomiky států Perského zálivu. Bakalářská práce. Brno. Mendelova univerzita v Brně, Provozně ekonomická fakulta. Hlavním cílem práce je zjišťování vlivů cen ropy na ekonomiky států Zálivu skrze hlavní ekonomické ukazatele. K tomu je použita regresní analýza. Poslední část práce je věnována snižujícím se příjmům z produkce ropy těchto států a zavádění opatření těchto států proti těmto trendům.
|