|
|
Framework pro automatizované testování MCUXpresso Config Tools
Dubovský, Tomáš ; Strnadel, Josef (oponent) ; Crha, Adam (vedoucí práce)
Cílem této práce bylo analyzovat stávající řešení frameworku pro testování MCUXpresso Config Tools, dále navrhnout a implementovat různé možnosti optimalizace, které povedou ke zvýšení efektivity testování. Na základě profilování stávajícího řešení byly navrhnuty a implementovány tři způsoby optimalizace. Prvním je sjednocení spouštění externích aplikací pod nový modul runner. Druhým je implementace souběžnosti v jazyce Python za pomocí multiprocessingu, multithreadingu a asyncio, následné porovnání jednotlivých metod a výběru nejvhodnější z nich. Třetím je implementace podpory zřetězeného zadávání příkazů řádkového rozhraní v MCUXpresso Config Tools.
|
|
|
Rozšíření frameworku ANaConDA pro podporu kontraktů s parametry a jejich omezeními
Mužikovská, Monika ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá problematikou kontraktů pro paralelismus. Jedná se o protokol umožňující specifikovat požadavky na atomicitu v paralelních programech a následnou tvorbu automatických nástrojů pro detekci porušení atomicity. Součástí prostředí ANaConDA pro dynamickou analýzu programů je nástroj pro detekci tohoto druhu chyb, ale jeho výsledky mohou být příliš obecné. Cílem práce bylo navrhnout a implementovat metodu, která bude podporovat kontrakty rozšířené o parametry a jejich omezení, což povede k přesnějším výsledkům analýzy. Experimenty provedené pomocí nově vzniklého analyzátoru na programech se známými chybami ukázaly, že díky zahrnutí parametrů do analýzy je možné výsledky zredukovat až o desítky hlášení o situacích, které při zohlednění kontextu nejsou chybné a pouze zbytečně zatěžovaly vývojáře a znesnadňovaly odhalení skutečných chyb.
|
|
|
Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů
Horňák, Michal ; Češka, Milan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Cieľom tejto práce bolo implementácia algoritmu FastTrack pre dynamickú analízu viacvláknových programov v jazyku C/C++. Ide o algoritmus detekujúci chyby typu data race. Je založený na relácii happens-before zakódovanej do tzv. vektor-klokov. Tie umožňujú extrapolovať beh programu a odhaľovať tak potenciálne chyby, ktoré sa v aktuálnom behu nevyskytli, ale v iných exekúciách by sa mohli vyskytnúť. Algoritmus je implementovaný v prostredí ANaConDA. Jedná sa o nástroj slúžiaci pre jednoduchšie implementovanie dynamických analizátorov monitorujúcich paralelné program na binárnej úrovni. ANaConDA poskytuje analyzátorom potrebné informácie o behu programu, ktoré detektory následne využívajú k odhaľovaniu chýb.
|
|
|
Twitter client pro Apple TV
Zvara, Marek ; Kočí, Radek (oponent) ; Hrubý, Martin (vedoucí práce)
Táto práca popisuje a analyzuje platformu tvOS a porovnáva jej výhody a nevýhody voči platforme iOS. Okrem toho ponúka prehľad aktuálneho stavu Twitter API.Na základe týchto poznatkov ponúka popis návrhu, úspešne zrealizovanej implementácie a testovania aplikácie. Twitter klient pracuje so základnými funkcionalitami ako prezeranie časovej osi, retweet, like/unlike tweetu či reakcia v diskusii k danému tweetu.
|
|
|
Radarový výškoměr pro ultralehký letoun
Zahradník, Jiří ; Zemčík, Pavel (oponent) ; Maršík, Lukáš (vedoucí práce)
V této bakalářské práci se autor zabývá návrhem a částečnou implementací radarového výškoměru. V této práci je kladen důraz na modulární architekturu a proto je tento výškoměr navržen jako soubor samostatných modulů komunikujících pomocí BSD schránek. Implementace programového vybavení je v C++ a pro generování zvuku je použita knihovna PulseAudio. Dále je zde řešena bezpečnost mezivláknové fronty a zásobníku pomocí třídy implementované jako šablona pro zachování jednoduchosti a obecnosti pro další využití.
|
|
|
Peer to peer systém pro vzdálené ovládání počítače
LEJTNAR, Michal
Diplomová práce se zabývá tvorbou decentralizovaného peer to peer systému pro vzdálenou správu počítačů. P2P síť a jednotlivé uzly jsou inspirovány architekturou hybridní peer-to-peer sítě používanou v komunikačním nástroji Skype. Pro vzdálenou správu počítačů jsou použity dostupné terminálové služby operačního systému Windows. Jedná se o vzdálenou plochu (MS Remote Desktop) a vzdálenou pomoc (MS Remote Assistance). Celá aplikace je tvořena v programovacím jazyce C#.
|
|
|
Grafická reprezentace navigačních zpráv GNSS prototypu
Homolka, Martin ; Frýza, Tomáš (oponent) ; Povalač, Aleš (vedoucí práce)
Diplomová práce se zabývá grafickou reprezentací navigačních zpráv z globálního navigačního satelitního systémového prototypu za využití programovacího jazyka Python, pod operačním systémem Windows a na základě požadavků od pracovníků vyvíjejících prototyp. Objasní nezbytnou terminologii a možnosti programování grafického rozhraní v jazyce Python. Řeší přijímání generovaných zpráv z prototypu, jejich zpracování, ukládání, filtrování v užitečné informace a samotné testování prototypu. Popisuje návrh uživatelem přístupnou aplikaci pro interaktivitu s prototypem a nástroje pro její vytvoření.
|
|
|
Digitální stopky pro 2 časy
Šilon, Peter ; Škarvada, Jaroslav (oponent) ; Herrman, Tomáš (vedoucí práce)
Cieľom bakalárskej práce bolo navrhnúť vhodné pripojenie dvoch štartovacích a dvoch zastavovacích kontaktov k PC. Práca si kladie za cieľ oboznámiť čitateľa s možnosťami ovládania portov pod MS Windows. Jedná sa o popis špecifických funkcií WinAPI a riešenie otázky priameho prístupu na porty. V ďalších kapitolách je rozoberaná problematika presného merania času na aplikačnej úrovni a oboznámenie sa s tvorbou multivláknových aplikácii v prostredí MS Windows. Druhá časť bakalárskej práce sa venuje konkrétnej implementácii digitálnych stopiek na báze mikroprocesoru.
|
|
|
Vývoj paralelních aplikací s Intel Threading Tools
Vadkerti, Ladislav ; Jaroš, Jiří (oponent) ; Dvořák, Václav (vedoucí práce)
Dnešním trendem v návrhu mikroprocesorů je zvyšování počtu výkonných jader na jednom čipu. Zvyšování taktovací frekvence dosáhlo svých limitů způsobených rostoucí energetickou spotřebou. Tento trend přináší nové možnosti pro softwarové vývojáře, kteří mohou využít skutečného paralelizmu ve vykonávání více vláken v rámci aplikace. Ale současný běh vláken také přináší nové problémy, které se při vývoji sekvenčních programů nemusely řešit. Správně navržená aplikace může použitím více vláken dosáhnout zlepšení výkonu lepším využitím hardwarových prostředků. Na druhou stranu, nesprávné použití vláken může vést k degradaci výkonu, nepředvídatelnému chování a chybovým stavům, které jsou těžko řešitelné. Z tohoto důvodu firma Intel vyvinula sadu nástrojů, které mají napomáhat vývojářům analyzovat výkon a detekovat chyby v interakci mezi vlákny. Tato práce se zaměřuje na možnosti použití těchto nástrojů při vývoji vícevláknových aplikací.
|
|
|
Vývoj vláknových aplikací v jazyce Java
ATTL, Karel
Tato diplomová práce pojednává o programování vícevláknových aplikací v jazyce Java. S verzí Java 5 se v API jazyka objevuje i knihovna java.util.concurrent, která významným způsobem ulehčuje a zefektivňuje návrh paralelních aplikací. Práce je pojatá jako úvod do programování vícevláknových aplikací, a zároveň ji lze využít jako studijní materiál. Teoretický úvod pojednává o procesech a technologickému pozadí multitaskingu jako analogie k vláknům, zároveň se dotýká technologie Java a pozadí práce s pamětí. Zbytek diplomové práce už se věnuje praktickému nastínění práce s vlákny. Pokrývá toto téma od úplných základů, jakými je vytvoření objektu typu Thread, přes pokročilejší úlohy, jakými je práce s balíčkem java.util.concurrent a na závěr věnuje prostor problémům, se kterými se programátor může setkat při vývoji vícevláknových aplikací.
|
host ::
RSS.