|
|
Monitoring Tool for Distributed Java Applications
Háva, Jakub ; Parízek, Pavel (vedoucí práce) ; Hnětynka, Petr (oponent)
Hlavní cíl této diplomové práce je vytvoření monitorovací platformy a kni- hovny pro monitorování distribuovaných aplikací založených na platformě Java. Tato práce je inspirována projektem Google Dapper a sdílí s ním koncept nazývaný "Span". Spany ohraničují lokální část výpočtu a jsou používané pro výměnu stavu mezi členy distribuovaného systému. Aby bylo možné spany zaznamenat bez nutnosti překompilování originalní aplikace, techniky instrumentace jsou hojně používané v této diplomové práci. Monitorovací nástroj nazývaný Distrace se skládá ze dvou částí: nativního agenta a instrumentačního serveru. Od uživatele Distrace se očekává rošíření instrumentačního serveru specifikací bodů v originální aplikaci, kde mají být nové spany vytvořeny a uzavřeny. Pro zajištění vysokého výkonu a také ovlivňování monitorované aplikace co nejméně se používá instru- mentační server, který provádí instrumentaci zdrojového kódu. Distrace nástroj by měl ovlivňovat monitorovanou aplikaci co nejméně, měl by být lehce nasa- ditelný a také transparentní pro cílové aplikace z pohledu koncového uživatele. 1
|
|
|
Využití dynamické analýzy kódu při zpětném překladu
Končický, Jaromír ; Zemek, Petr (oponent) ; Ďurfina, Lukáš (vedoucí práce)
V rámci projektu Lissom je vyvíjen rekonfigurovatelný zpětný překladač, jehož cílem je umožnit zpětný překlad programů, určených pro více různých platforem, do několika různých vyšších programovacích jazyků. V době počátku řešení této práce v něm nejsou implementovány techniky využívající informace získané dynamickou analýzou zpětně překládaného programu. Využitím těchto technik je však možné výsledky zpětného překladače výrazně zlepšit. Návrh těchto technik je hlavní náplní této diplomové práce. V rámci tohoto textu je popsáno zpětné inženýrství a zpětný překladač projektu Lissom. Jsou zde obecně popsány existující techniky dynamické analýzy, jako je instrumentace a emulace. Poté jsou zde uvedeny konkrétní informace, které lze získat během dynamické analýzy, a navrženy metody jejich využití ve zpětném překladači.
|
|
|
Pokrytím řízené testování vícevláknových programů
Lietavcová, Zuzana ; Šimková, Hana (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se zabývá problematikou hledání chyb ve vícevláknových programech pomocí techniky pokrytím řízeného testování, jak je chápáno ve studovaném nástroji Maple. Testování se se skládá ze dvou fází. V první fázi se buduje množina pokrytelných chování testovaného programu. Následně se algoritmus snaží dosáhnout těchto chování za pomoci deterministického vykonání testu.Hlavní přínos práce spočívá v uceleném popisu nástroje Maple, včetně technických detailů.Na základě studia jsou identifikovány slabá místa. Některé z nich, konkrétně využívání náhodného rozhodování a prioritizace vynucovaných chování, jsou blíže studovány.Výsledkem je několik úprav nástroje Maple, ze kterých některé vedou k většímu počtu úspěšných dosažení chování a v určitých případech k vyššímu počtu vyvolání chyb, což je experimentálně demonstrováno na sadě vícevláknových programů.
|
host ::
RSS.