|
|
Frege IDE with JetBrains MPS
Satmári, István ; Parízek, Pavel (vedoucí práce) ; Kratochvíl, Miroslav (oponent)
Frege je open-source projekt, ktorý prináša populárny funkcionálny programovací jazyk Haskell pre platformu Java. JetBrains MPS je zase open-source nástroj pre vytváranie nových programovacích jazykov a vývojových integrovaných prostredí na báze projekčného editoru. V tejto práci analyzujeme gramatiku pre jazyk Frege a popisujeme postup vývoja integrovaného prostredia postaveného nad nástrojom JetBrains MPS pre uľahčenie vývojárom s písaním kódu vo Frege. Naše vývojové prostredie zahŕňa intuitívny editor pre editáciu syntaxe v jazyku Frege, poskytuje jednoduchú typovú kontrolu a obsahuje generátory pre textový výstup zadaného programu. Cieľom nášho nástroju je jeho užívateľská prívetivosť. Táto práca v závere taktiež porovnáva projekčné editory oproti bežným vývojovým prostrediam založených na editácii textu, ako je napríklad Eclipse, a skúma, či projekčné editory poskytujú akúkoľvek výhodu pri písaní kódu vo funkcionálnych programovacích jazykoch.
|
|
|
Umělý hráč pro Dotu 2
Kočur, Jan ; Gemrot, Jakub (vedoucí práce) ; Parízek, Pavel (oponent)
Dota 2 patří mezi nejoblíbenější strategické počítačové hry žánru Multiplayer Online Battle Arena (MOBA), který je typický svými nároky na týmovou spolupráci a taktické myšlení hráčů. To činí žánr zajímavou platformou pro výzkum umělé inteligence (AI), který se často zabývá tvorbou agentů hrajících hru. Hry žánru neposkytují nástroje umožňující vývoj složitějších agentů. Prvním cílem této práce bylo vytvořit rozhraní, které umožní vývoj, agentů pro Dotu 2 v Javě. Druhým cílem bylo vytvořit agenta hrajícího Dotu 2, který prokáže funkčnost rozhraní. Práci jsme rozdělili do dvou částí. Nejdříve jsme vytvořili nároky na rozhraní a popsali jsme jeho architekturu. V druhé části práce jsme analyzovali Dotu 2 z perspektivy AI a implementovali vlastní agenty nad vytvořeným rozhraním. Naši agenti byli schopni prokázat funkčnost rozhraní a zvládnutí základních herních dovedností. Výsledné rozhraní může být použito pro další výzkum umělé inteligence.
|
|
|
Dynamic Analysis for Finding Endianity Bugs
Kápl, Roman ; Parízek, Pavel (vedoucí práce) ; Yaghob, Jakub (oponent)
Když spolu komunikují dva počítačové systémy, například přes síť, musí se shodnout na pořádí bytů v číslech. Tomuto pořadí se říká endianita. Často pak musí jeden ze systémů prohodit pořadí bytů na předem dohodnutý standard. Výsledky této práce pomohou programátorům najít místa v jejich programech, kde na toto přehození pořadí zapomněli. Vyvinuli jsme dynamickou data-flow analýzu postavenou na populárním nástroji Valgrind. V porovnání se statcikou analýzou v současnosti používanou vývojáři Linuxového jádra náš přístup nevyžaduje označení proměnných jejich endianitou. Typicky je nutné označit jen několik míst ve zdrojovém kódu. Analýza je také schopná detekovat potenciální chyby, které by se projevily pouze pokud by program byl spuštěn na počítačích s opačnou endianitou. Náš přístup jsme ověřili na existujicím programu, o kterém se vědělo, že obsahuje zatím neopravné chyby související s endianitou (RadeonSI OpenGL driver). Identifikoval všechny chyby související s endianitou a poskytl užitečné diagnostické zprávy s označením původu chyby.
|
|
|
A virtual playground for DEECo applications
Khalyeyev, Danylo ; Hnětynka, Petr (vedoucí práce) ; Parízek, Pavel (oponent)
DEECo je nový komponentový model pro návrh softwarově orientovaných kyber-fyzikálních systémů. Jako praktická realizace tohoto modelu v Javě byl vytvořen framework JDEECo. Použití tohoto frameworku bylo ukázáno v řadě různých scénářů. V současné době však k dispozici jen omezené způsoby, jak sys- tematicky vytvářet, simulovat a vizualizovat nové scénáře. Tato práce představuje virtuální hřiště, které umožňuje vytvářet scénáře pro autonomní roboty napro- gramované v DEECo. Hřiště nabízí řadu možností pro tvorbu scénářů, včetně pro- gramování robotů a jejich interakcí, přizpůsobení a rozšíření fyzického prostředí a přidávání nových interaktivních objektů. Tyto scénáře lze také vizualizovat pomocí vyvinuté aplikace. Parametry vizualizace mohou být přizpůsobeny pro potřeby konkrétního scénáře. Funkčnost aplikace je demonstrována na několika ukázkových scénářích.
|
|
|
Soothsharp: A C#-to-Viper translator
Hudeček, Petr ; Parízek, Pavel (vedoucí práce) ; Ježek, Pavel (oponent)
Viper je verifikační infrastruktura vyvíjená na univerzitě ETH v Curychu. Pomocí této infrastruktury se dá ověřit, zda programy napsané v jazyku Viper vyhovují svým deklarovaným kontraktům a invariantům. V této práci vyvíjíme knihovnu kontraktů a překladač, který zkompiluje kód v jazyku C# do jazyku Viper, a tak umožní jeho verifikaci. Uživatel může anotovat svůj program těmito kontrakty a pak použít překladač, aby určil, zda je program funkčně korektní. Překladač podporuje podstatnou podmnožinu funkcí jayzku C#, včetně typů a polí. Je integrován s Visual Studiem, a ukazuje tak chyby z překladu a verifikace uživateli přímo v prostředí.
|
|
|
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
|
|
|
String Analysis for Code Contracts
Dort, Vlastimil ; Parízek, Pavel (vedoucí práce) ; Kofroň, Jan (oponent)
Jedním ze způsobů prevence chyb v objektově orientovaných programech je používání kontraktů, kterými jsou například vstupní a výstupní podmínky metod nebo invarianty tříd. Ve frameworku .NET je používání kontraktů umožněno díky frameworku Code Contracts, který mimo jiné obsahuje nástroj Clousot na statickou analýzu programů, založený na abstraktní interpretaci. Ačkoli řetězce jsou jedním ze základních typů v programech pro .NET, Clousot neobsahuje použitelnou podporu pro analýzu řetězcových hodnot. V této práci probereme specifika práce s řetězci v jazyce C# a frameworku .NET a ukážeme, jak je možné ji pokrýt statickou analýzou. Zvolený přístup využívá metody třídy String a omezenou podmnožinu regulárních výrazů ke specifikaci vlastností řetězců v kódu, a abstraktní interpretaci s nerelačními abstraktními doménami k důkazům těchto vlastností. Zvolili jsme několik již publikovaných abstraktních domén pro řetězce, které se mezi sebou liší složitostí a schopností reprezentovat různé vlastnosti řetězců. Tyto domény jsme adaptovali pro zvolené prostředí, což zahrnovalo definici abstraktní sémantiky pro podporované řetězcové operace. Abstraktní domény jsme implementovali v nástroji Clousot, a to tak, aby bylo v budoucnu možné rozšíření o další domény. Powered by TCPDF (www.tcpdf.org)
|
|
|
Grammar to JetBrains MPS Convertor
Vysoký, Přemysl ; Parízek, Pavel (vedoucí práce) ; Yaghob, Jakub (oponent)
JetBrains MPS je nástroj pro tvorbu programovacích jazyků, který se specializuje na doménově specifické jazyky. Na rozdíl od většiny podobných nástrojů, či klasických IDE, se v MPS programuje pomocí projekčního editoru. Uživatel manipuluje s programem v jeho stromové podobě (AST) a ne editováním textového zdrojového kódu. Toto přináší mnoho výhod, ale také vyžaduje časově náročnou a komplikovanou definici jazyka používaného uvnitř MPS. Diplomová práce zkoumá možnost automatické tvorby MPS jazyků pomocí importu jejich gramatik. V práci je představen editor MPS, zhodnocen přístup podobných existujících projektů a popsána autorova snaha o implementaci MPS pluginu, který takový import umožňuje. Zvolený postup a výběr nástrojů použitých k implementaci je spolu s architekturou pluginu také popsán a zdůvodněn. Dále práce rozebírá důležité problémy, které s tématem souvisí a každý podobný projekt je také musí řešit. K některým z problémů jsou uvedena a popsána možná řešení. V poslední řadě obsahuje práce i příklady importovaných jazyků, které ukazují efektivnost implementovaného pluginu. Spolu s tím je zmíněno několik návrhů na rozšíření práce a možná vylepšení. Práce si totiž klade za záměr prozkoumat a zdokumentovat danou tématiku, aby bylo možné navázat dalším výzkumem.
|
|
|
Web System for Crowdfunding Based on Selling Items with Custom Imprint
Škvařil, Jan ; Parízek, Pavel (vedoucí práce) ; Nečaský, Martin (oponent)
Cílem této práce bylo navrhnout a implementovat webový systém na prodej předmětů s potiskem, který zároveň umožní sbírat peníze pomocí kampaní fungujících na bázi crowdfundingu. Výsledná aplikace automatizuje a usnadňuje celý proces od návrhu potisku v integrovaném editoru přes vyhodnocení kampaně až po odeslání hotových výrobků zákazníkům. Během celého procesu tedy existuje minimum bodů, kdy je nutný administrátorský zásah zvenčí. Částí implementace bylo také napojení aplikace na externí služby, jako jsou on-line platby kartou, tiskárna či sociální sítě. Powered by TCPDF (www.tcpdf.org)
|
|
|
Návrh a implementace jazyka pro code-golf challenge
Kliber, Filip ; Parízek, Pavel (vedoucí práce) ; Kratochvíl, Miroslav (oponent)
Code-golf je jednou z kategorií programátorských soutěží, ve které je cílem im- plementovat řešení relativně snadné programátorské úlohy na co nejmenší počet bytů zdrojového kódu. Cílem mé práce je návrh a implementace programovacího jazyka, který je vhodný pro řešení code-golf úloh. Jazyk je navržený s ohledem na nově začínající řešitele code-golf challenge a zachovává čitelnost i srozumitel- nost. Zakládá se na běžně používaných jazycích, ale zároveň umožňuje stručný zápis algoritmických řešení úloh z oblasti code-golf. Součástí práce je také imple- mentace standardní knihovny jakožto běhové podpory pro tento jazyk. 1
|
host ::
RSS.