|
|
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.
|
|
|
Dynamická analýza konstrukce zatížená seismickým zatížením
Šnajdárková, Jana ; Nevařil, Aleš (oponent) ; Vlk, Zbyněk (vedoucí práce)
Práce se zaměřuje na tvorbu dvou modelů výškové konstrukce, prutový a deskostěnový. Na těchto modelech je provedena dynamická analýza. Vybraným programem je software RFEM a vymodelovanou výškovou konstrukcí mrakodrap Hearst Tower, který je zajímavý systémem diagrid po jeho obvodu. Je zde popsán postup tvorby obou modelů a problémy s tím spojené. Dynamická analýza je provedena pomocí normy ČSN EN 1998-1. Součástí je výpočet dostatečného množství vlastních tvarů, spektrální analýza a časová analýza. Výsledky jsou nakonec porovnány na vybraném bodě na obou dvou konstrukcích.
|
|
|
Dynamická analýza paralelních programů na platformě .NET Framework
Ling, David ; Hrubý, Martin (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a implementací dynamického analyzátoru paralelních programů na platformě .NET Framework. V teoretické části práce je rozebrána problematika synchronizace v paralelních programech, instrumentace programů, testování paralelních programů a specifika těchto problémů pro jazyk C\# a platformu .NET Framework. Podrobněji jsou popsány vybrané algoritmy pro detekci uváznutí (algoritmus Goodlock) a časově závislých chyb nad daty (algoritmy FastTrack a AtomRace). V následujících částech jsou sepsány požadavky na výsledný analyzátor a vytvořen návrh systému. Práce obsahuje také popis implementace navrženého řešení, způsob kompletního otestování implementovaného nástroje a v neposlední řadě ukázku použití dynamických analyzátorů v reálném aplikačním prostředí.
|
|
|
Adaptér OSLC pro framework ANaConDA
Vašíček, Ondřej ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Předmětem této práce je ověření konceptu rozšiřování akademických programových nástrojů o OSLC rozhraní. Proces rozšíření nástroje o OSLC rozhraní je demonstrován vytvořením OSLC adaptéru pro prostředí ANaConDA za použití Eclipse Lyo. Cílem této práce je umožnit integraci prostředí ANaConDA s jinými programovými nástroji. Práce poskytuje základní úvod k prostředí ANaConDA, OSLC a Eclipse Lyo spolu s přehledem souvisejících konceptů. Dále je popsán návrh a implementace vytvořeného OSLC adaptéru. Výsledkem této práce je zhodnocení procesu vytváření OSLC adaptéru a představení implementovaného OSLC adaptéru pro prostředí ANaConDA. Závěrem je zmíněna má předchozí práce na rozšiřování prostředí ANaConDA ve formě implementace dvou detektorů souběhů, FastTrack a Eraser.
|
|
|
Analýza škodlivého softwaru
Bláha, Michael ; Caha, Tomáš (oponent) ; Člupek, Vlastimil (vedoucí práce)
Cílem mojí bakalářské práce je navrhnout bezpečné prostředí pro analýzu škodlivého softwaru. V teoretické části práce se věnuji základnímu dělení počítačových virů. Poté popisuji dva hlavní postupy při analyzování škodlivého softwaru, a to statickou a dynamickou analýzu. Popisuji, z jakého důvodu se používají a jaké nástroje spadají do těchto kategorií. Dále prezentuji svoji metodologii pro bezpečnou analýzu škodlivého softwaru. V praktické části práce se věnuji vytvoření analytického prostředí na platformách Windows 10 a Fedora. Používám jak grafické prostředí, tak i příkazový řádek k vytvoření virtuálních počítačů. Abych mohl analyzovat síťový provoz, vytvářím takzvaný „falešný internet“ s programem INetSim. V poslední části práce se věnuji ukázce analýzy vybraných druhů počítačových virů. Postupuji podle mnou popsané metodologie. Ke každé analýze píšu krátké shrnutí a výsledky. Na konci práce se zabývám možnou obranu před škodlivým softwarem.
|
|
|
Analýza kostry synchronního generátoru
Marada, Ondřej ; Střelková, Radka (oponent) ; Pokorný, Přemysl (vedoucí práce)
Práce se zaměřuje na ověření funkčnosti synchronního generátoru malé vodní elektrárny v případě změny pracovní polohy stroje. Funkčnost se posoudí na základě vyšetření deformací a napjatosti kostry generátoru pro stávající provoz (s vertikální osou rotace generátoru) a následně pro modifikovaný provoz (s horizontální osou rotace). To se provede jednak na statickém skořepinovém modelu pomocí metody konečných prvků a následně na zjednodušeném dynamickém modelu.
|
|
|
Dynamická analýza mostních konstrukcí
Prokš, Tomáš ; Salajka, Vlastislav (oponent) ; Hradil, Petr (vedoucí práce)
Diplomová práce se zabývá dynamickou analýzou zavěšené ocelové lávky pro pěší. Byla studována dynamická odezva kmitání konstrukce na zatížení, vyvolané pohybem chodců. Odezva konstrukce na toto zatížení překročila dovolené limity. Z toho důvodu byl zkoumán vliv omezovače kmitání s laděnou přídavnou hmotou. K výpočtu pohybových rovnic, jedno a dvoustupňového modelu, byl použit program MATLAB a výsledky byly porovnány s numerickým modelem v programovém systému ANSYS.
|
|
| |
|
|
Dynamické analyzátory pro platformu SearchBestie
Janoušek, Martin ; Češka, Milan (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato diplomová práce se zabývá návrhem a implementací dynamického analyzátoru kontraktů s parametry. V první části práce je představena problematika testování paralelních programů, včetně metod testování a chyb, které se mohou v těchto programech nacházet. Podrobněji se zabývá metodou dynamické analýzy a věnuje se konkrétním dynamickým analyzátorům, jako jsou FastTrack nebo analyzátor kontraktů. Ve druhé části práce je popsán návrh a implementace dynamického analyzátoru kontraktů pro framework RoadRunner a platformu Searchbestie .
|
host ::
RSS.