|
|
Přesné heuristiky pro vkládání šumu v nástroji SearchBestie
Kozák, David ; Smrčka, Aleš (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce se zabývá efektivními způsoby testování vícevláknových programů psaných v jazyce Java. Pro zvýšení šance na odhalení časově závislých chyb se využívá techniky vkládání šumu, kdy dochází ke vložení dalších instrukcí do testované aplikace za účelem prozkoumání netypických proložení událostí. Pro nalezení vhodných konfigurací pro vkládání šumu byl navržen nástroj SearchBestie, který využíval nástroj ConTest pro spouštění testů a instrumentaci bytecodu. Jelikož vývoj ConTestu byl zastaven, bylo třeba najít vhodnou alternativu. V průběhu této bakalářské práce bylo dokončeno propojení SearchBestie s nástrojem RoadRunner, který ConTest nahradil. Dále došlo k navržení a implementaci nových heuristik, které umožňují šum vkládat na přesně zvolená místa v kódu. Experimenty prokázaly, že ve většině případů skutečně přesné heuristiky dosahují lepších výsledků než heuristiky využívající náhodnosti.
|
|
|
Instrumentace Java programů, kontrakty pro paralelismus
Žárský, Jan ; Křena, Bohuslav (oponent) ; Smrčka, Aleš (vedoucí práce)
Kontrakty pro paralelismus slouží k vyjádření potřebné atomicity sekvencí metod ve vícevláknových programech. Tato práce se zaměřuje na implementaci dynamického analyzátoru, který verifikuje programy napsané v jazyce Java vůči kontraktům. Podporovány jsou parametrické kontrakty se spojlery. Analyzátor je implementován jako rozšíření frameworku RoadRunner. V rámci implementace analyzátoru byla do frameworku RoadRunner přidána podpora pro získávání argumentů metod a jejich návratových hodnot. Analyzátor byl plně implementován a jeho funkčnost byla ověřena na sadě testovacích programů.
|
|
|
Backend pro kolaborativní programování v rozšířené realitě
Willaschek, Tomáš ; Bambušek, Daniel (oponent) ; Materna, Zdeněk (vedoucí práce)
Tato práce se zabývá implementací a aplikací výlučného přístupu pro systém ARCOR2, který slouží ke kolaborativnímu programování robotů v rozšířené realitě. Cílem práce je analýza výchozího stavu, návrh a implementace výlučného přístupu pro tento systém. Implementace je rozsáhlá a umožňuje řadu pracovních scénářů, které vyžadují aplikaci výlučného přístupu. Tyto scénáře jsou odhaleny analýzou systému. Na tomto základu je vytvořen návrh, který řeší problematické scénáře. Nedostatek systému je vyřešen vytvořením globálního manažera zámků, který je aplikován. V rámci práce jsou definovány vzory, jak manažera zámků použít. Přínosem práce je efektivní a nekonfliktní kolaborativní programování.
|
|
|
Backend pro kolaborativní programování v rozšířené realitě
Willaschek, Tomáš ; Bambušek, Daniel (oponent) ; Materna, Zdeněk (vedoucí práce)
Tato práce se zabývá implementací a aplikací výlučného přístupu pro systém ARCOR2, který slouží ke kolaborativnímu programování robotů v rozšířené realitě. Cílem práce je analýza výchozího stavu, návrh a implementace výlučného přístupu pro tento systém. Implementace je rozsáhlá a umožňuje řadu pracovních scénářů, které vyžadují aplikaci výlučného přístupu. Tyto scénáře jsou odhaleny analýzou systému. Na tomto základu je vytvořen návrh, který řeší problematické scénáře. Nedostatek systému je vyřešen vytvořením globálního manažera zámků, který je aplikován. V rámci práce jsou definovány vzory, jak manažera zámků použít. Přínosem práce je efektivní a nekonfliktní kolaborativní programování.
|
|
|
Instrumentace Java programů, kontrakty pro paralelismus
Žárský, Jan ; Křena, Bohuslav (oponent) ; Smrčka, Aleš (vedoucí práce)
Kontrakty pro paralelismus slouží k vyjádření potřebné atomicity sekvencí metod ve vícevláknových programech. Tato práce se zaměřuje na implementaci dynamického analyzátoru, který verifikuje programy napsané v jazyce Java vůči kontraktům. Podporovány jsou parametrické kontrakty se spojlery. Analyzátor je implementován jako rozšíření frameworku RoadRunner. V rámci implementace analyzátoru byla do frameworku RoadRunner přidána podpora pro získávání argumentů metod a jejich návratových hodnot. Analyzátor byl plně implementován a jeho funkčnost byla ověřena na sadě testovacích programů.
|
|
|
Přesné heuristiky pro vkládání šumu v nástroji SearchBestie
Kozák, David ; Smrčka, Aleš (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce se zabývá efektivními způsoby testování vícevláknových programů psaných v jazyce Java. Pro zvýšení šance na odhalení časově závislých chyb se využívá techniky vkládání šumu, kdy dochází ke vložení dalších instrukcí do testované aplikace za účelem prozkoumání netypických proložení událostí. Pro nalezení vhodných konfigurací pro vkládání šumu byl navržen nástroj SearchBestie, který využíval nástroj ConTest pro spouštění testů a instrumentaci bytecodu. Jelikož vývoj ConTestu byl zastaven, bylo třeba najít vhodnou alternativu. V průběhu této bakalářské práce bylo dokončeno propojení SearchBestie s nástrojem RoadRunner, který ConTest nahradil. Dále došlo k navržení a implementaci nových heuristik, které umožňují šum vkládat na přesně zvolená místa v kódu. Experimenty prokázaly, že ve většině případů skutečně přesné heuristiky dosahují lepších výsledků než heuristiky využívající náhodnosti.
|
host ::
RSS.