|
|
Statická analýza Java programů
Vyvial, Pavel ; Hýsek, Jiří (oponent) ; Křena, Bohuslav (vedoucí práce)
Projekt SHADOWS se zabývá vývojem software, který je schopen automaticky opravovat chyby v programech. Po každé opravě je třeba zjistit, zda opravná akce úspěšně odstranila chybu a nezanesla do kódu chybu novou, mnohem závažnější. Ve své bakalářské práci se zabývám právě takovýmto dokazováním korektni opravy kódu v konkurentních systémech. Některé z chyb v konkurentních systémech mohou být opraveny automatickým přidáním synchronizace. Při takovémto opravování chyb je potřeba zkontrolovat zda v uzamykané části neexistuje instrukce monitorenter, která by mohla představovat potenciální nebezpečí uváznutí. Dokazování korektnosti opravy je prováděno za pomocí Control Flow Graph analýzy nad Java byte-kódem. Prototyp k tomuto účelu využívá statickou analýzu zastoupenou nástrojem FindBugs.
|
|
|
Evoluční návrh s využitím přepisovacích systémů
Hýsek, Jiří ; Jaroš, Jiří (oponent) ; Bidlo, Michal (vedoucí práce)
Tato práce se zaměřuje na problematiku evolučního návrhu, věnuje se zejména problému zakódování kandidátního řešení. Běžně používané techniky evolučního návrhu pracují s kódováním kandidátního řešení, které není vhodné pro návrh rozsáhlých struktur. Práce se zabývá možným řešením popisovaného problému, tedy netriviálním převodem fenotypu na genotyp -- developmentem. Tuto techniku demonstrujeme na evolučním návrhu posloupnosti přepisovacích pravidel, která umožňující konstrukci libovolně velkých řadicích sítí.
|
|
|
Statická analýza Java programů
Vyvial, Pavel ; Hýsek, Jiří (oponent) ; Křena, Bohuslav (vedoucí práce)
Projekt SHADOWS se zabývá vývojem software, který je schopen automaticky opravovat chyby v programech. Po každé opravě je třeba zjistit, zda opravná akce úspěšně odstranila chybu a nezanesla do kódu chybu novou, mnohem závažnější. Ve své bakalářské práci se zabývám právě takovýmto dokazováním korektni opravy kódu v konkurentních systémech. Některé z chyb v konkurentních systémech mohou být opraveny automatickým přidáním synchronizace. Při takovémto opravování chyb je potřeba zkontrolovat zda v uzamykané části neexistuje instrukce monitorenter, která by mohla představovat potenciální nebezpečí uváznutí. Dokazování korektnosti opravy je prováděno za pomocí Control Flow Graph analýzy nad Java byte-kódem. Prototyp k tomuto účelu využívá statickou analýzu zastoupenou nástrojem FindBugs.
|
|
|
Evoluční návrh s využitím přepisovacích systémů
Hýsek, Jiří ; Jaroš, Jiří (oponent) ; Bidlo, Michal (vedoucí práce)
Tato práce se zaměřuje na problematiku evolučního návrhu, věnuje se zejména problému zakódování kandidátního řešení. Běžně používané techniky evolučního návrhu pracují s kódováním kandidátního řešení, které není vhodné pro návrh rozsáhlých struktur. Práce se zabývá možným řešením popisovaného problému, tedy netriviálním převodem fenotypu na genotyp -- developmentem. Tuto techniku demonstrujeme na evolučním návrhu posloupnosti přepisovacích pravidel, která umožňující konstrukci libovolně velkých řadicích sítí.
|
host ::
RSS.