|
|
Debugger interface for Java PathFinder model checker
Vávra, Štěpán ; Jančík, Pavel (vedoucí práce) ; Yaghob, Jakub (oponent)
Cílem této práce je začlenit Java PathFinder do architektury Java Platform Debugger Architecture, tedy umožnit debuggování Java Pathfinderu z jakéhokoliv moderního Java vývojového prostředí se všemi výhodami s tím spojenými stejně jako u běžných Java virtuálních strojů. Těmi jsou kupříkladu různé typy breakpointů, krokování v otevřených zdrojových souborech a inspekce zásobníku volání a objektů v programu. Výsledná práce dává uživatelům k dispozici plnohodnotnou škálu možností debugování jako u běžných Java programů, a to bez nutnosti použití dalších nástrojů, editorů a zejména bez nutnosti složitého nastavování prostředí pro debugování. Díky tomu mohou uživatelé zkoumat, debugovat a pochopit stav programu při procházení error trace vyhodnocené Java PathFinderem. Klíčovou části práce je implementace Java Debug Wire Protocol agenta jako doplněk Java PathFinderu. V důsledku tohoto se Java PathFinder stává kompletnějším Java virtuálním strojem jak v očích komunity tak i celé obce Java uživatelů. Powered by TCPDF (www.tcpdf.org)
|
|
|
Scripting in Audacity Audio Editor
Šípoš, Peter ; Pop, Tomáš (vedoucí práce) ; Jančík, Pavel (oponent)
Cílem této bakalářské práce byl vytvoření doplňku k programu Audacity, což by umožněl používání scriptu během editaci zvukovych nahrávek. V první části práce je popsaná architektura Audacity, jaké jsou možnosti pro doplnění funkčnosti a jaké alternatíva jsou k dispozici. Poté popíše kritické rozhodnutí, které byly učiněné před implemetaci doplňku. Tyhle rozhodnutí byly ve spojení s výběrem scriptovacího jazyku, spravování chybových stavů a návrhem grafického rozhraní. Na konci práce pomoci příkladů je ukázan funkčnost doplňku. Na závěr, aplikace byl naimplementován, jako ukázka technik, které byly popsáno v práci.
|
|
|
Survey of Code Review Tools
Žember, Martin ; Kofroň, Jan (vedoucí práce) ; Jančík, Pavel (oponent)
V předložené práci studujeme chování nástrojů určených pro code review a to, jak napomáhají k odstraňování bezpečnostních zranitelností. Takových nástrojů je mnoho; ale pouze malá část je postačující pro efektivní zvýšení bezpečnosti softwaru. Předkládáme výsledky empirického testování těchto nástrojů na umělých datech, abychom zmapovali třídy zranitelností, které jsou schopny nalézt a také na větších programech, abychom prověřili jejich škálovatelnost. 1
|
|
|
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (vedoucí práce) ; Jančík, Pavel (oponent)
Název práce: Prezentace výsledků kontroly softwarového modelu skrz ladící rozhraní Autor: Tomáš Kohan Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Ondřej Šerý, Ph.D., Katedra distribuovaných a spolehlivých systémů Abstrakt: Cílem této práce je navrhnout a implementovat nové ladící rozhraní programu Java PathFinder. Vhodným prostředím pro toto rozhraní byl zv- olen vývojový nástroj Eclipse. Vytvořené rozhraní graficky vizualizuje výstupy programu JPF a jednotlivé detaily stavu pozastaveného virtuálního stroje (JVM), zvláště pak seznam proměnných a jejich hodnot. Za tímto účelem jsou vytvořeny dva podprojekty, a to debug4jpg a JPFDeb.core. Projekt debug4jpf kontroluje a komunikuje s instancí JPF. JPFDeb.core pak ve formě zásuvného modulu pro Eclipse poskytuje takové uživatelské rozhraní, které je podobné standardnímu rozhraní ladícího programu pro Javu. Oba projekty mezi sebou komunikují přes ad hoc komunikační protokol, který byl navržen pro tento účel. Klíčová slova: Java, verifikace, kontrola modelu, JPF, ladící rozhraní
|
|
|
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (vedoucí práce) ; Jančík, Pavel (oponent)
Název práce: Prezentace výsledků kontroly softwarového modelu skrz ladící rozhraní Autor: Tomáš Kohan Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Ondřej Šerý, Ph.D., Katedra distribuovaných a spolehlivých systémů Abstrakt: Cílem této práce je navrhnout a implementovat nové ladící rozhraní programu Java PathFinder. Vhodným prostředím pro toto rozhraní byl zv- olen vývojový nástroj Eclipse. Vytvořené rozhraní graficky vizualizuje výstupy programu JPF a jednotlivé detaily stavu pozastaveného virtuálního stroje (JVM), zvláště pak seznam proměnných a jejich hodnot. Za tímto účelem jsou vytvořeny dva podprojekty, a to debug4jpg a JPFDeb.core. Projekt de- bug4jpf kontroluje a komunikuje s instancí JPF. JPFDeb.core pak ve formě zásuvného modulu pro Eclipse poskytuje takové uživatelské rozhraní, které je podobné standardnímu rozhraní ladícího programu pro Javu. Oba projekty mezi sebou komunikují přes ad-hoc komunikační protokol, který byl navržen pro tento účel. Klíčová slova: Java, verifikace, kontrola modelu, JPF, ladící rozhraní
|
|
|
Real-time Recognition of Typed Letters
Hámorník, Juraj ; Toropila, Daniel (vedoucí práce) ; Jančík, Pavel (oponent)
Zariadenia Tablet PC sú v dnešnej dobe čoraz obľúbenejšie. Keďže ne- obsahujú hardwarovú klávesnicu, užívateľ do nich vkladá text dvomi hlavnými spôsobmi: virtuálnou klávesnicou, kde sú vkladané jednotlivé znaky postupne a analýzou rukou napísaného textu, kde sú vkladané celé slová. Nami vytvorená metóda kombinuje po znakoch zadávaného textu s analýzou rukou písaných zna- kov. Rukou napísaný znak, ktorý môže pozostávať viacerých ťahov je prevedený na sekvencie čísiel. Na základe týchto sekvencii a užívateľom naučených znakov vyhodnotíme napísaný znak. Keď sme porovnali vstavané metódy pre zadávanie textu na operačnom systéme Windows 8 zistili sme, že pre skúsenejších užívatelov a isté jazyky môže byť naša metóda prínosná.
|
|
|
Univerzální diskrétní simulátor
Vytasil, Jiří ; Pergel, Martin (vedoucí práce) ; Jančík, Pavel (oponent)
V této práce je rozebrán návrh a implementace programu umožňujícího provádět diskrétní simulace. Dále je v programu implementována vizualizace průběhu diskrétní simulace. Důraz je kladen především na univerzalitu. Kromě programu a jeho popisu jsou zde informace o diskrétní simulaci, které umožní jednodušší pochopení činnosti programu. Pro popis diskrétní simulace používáme konečné automaty a regulární gramatiky. Zmíněné části zde více popisujeme, abychom jednodušeji pochopili popis diskrétní simulace. Systém dále umožňuje úpravu vstupních souborů pro jednodušší práci programu.
|
|
|
Checking Compliance of Java Implementation with TBP Specification
Jančík, Pavel ; Parízek, Pavel (vedoucí práce) ; Kofroň, Jan (oponent)
Verifikace je postup umožnující zlepšit spolehlivost aplikací složených z komponent. Jedním z aktuálních témat je kompozice komponent a ověřování, zdali je tato kompozice korektní z pohledu komunikace mezi nimi. Pro popis této komunikace (chování) slouží behavior protokoly (BP). V současné době jsou již vyvinuty nástroje ověřující kompozici komponent. Tyto nástroje ovšem fungují na bázi porovnávání BP a tedy implicitně předpokládají, že implementace komponenty odpovídá danému BP. Odtud vyplývá důležitost nástroje na ověření, zda chování dané implementace odpovídá připojenému BP. Pravidla pro komunikaci komponent společně s BP se obvykle vytvářejí v raných fázích vývojového cyklu. Během implementace typicky dochází k různým ať již úmyslným či neúmyslným, odchylkám od původního návrhu. Tento přístup k vývoji software ještě zvyšuje důležitost ověření, zda aktuální implementace vyhovuje původnímu návrhu BP. Výsledkem práce je nástroj, který ověřuje, zda chování implementace jedné komponenty v jazyce Java odpovídá chování definovanému v připojeném threaded behavior protokolu. Dále práce obsahuje vyhodnocení nástroje na větších příkladech pro nastínění aplikovatelnosti přístupu v praxi.
|
|
|
Interpret Pascalu
Jančík, Pavel ; Bednárek, David (oponent) ; Yaghob, Jakub (vedoucí práce)
Práce má prohloubit znalosti studenta v oblasti návrhu a tvorby frontendu překladačů, pokročilých programovacích technik a nástrojů používaných při jejich tvorbě. Má vzniknout interpret podmnožiny jazyka Pascal, který se bude vyznačovat objektovým, rozumně rozšiřitelným návrhem, který by představoval použitelnou platformu pro další vývoj a rozšiřování. Student se seznámí s již existujícími a používanými virtuálními stroji a v rámci práce na interpretu navrhne vlastní jednoduchý virtuální stroj a jeho instrukční sadu.
|
|
|
Drapákový manipulátor
Mlčoch, Petr ; Jančík, Pavel (oponent) ; Škopán, Miroslav (vedoucí práce)
Předmětem diplomové práce je návrh zařízení pro manipulaci s hliníkovým odpadem. Zařízení pracuje v zastřešené hale a je stacionární. V úvodu práce jsou jako alternativy k zařízení uvedeny běžně používané stroje pro manipulaci s kovovým odpadem a důvody proč nevyhovují zákazníkovým požadavkům. Práce obsahuje návrh kinematiky a silový rozbor. Z těchto kapitol se vychází při návrhu tvarů a rozměrů zařízení. Dále následuje popis všech hlavních částí zařízení včetně hydraulického obvodu, který zajišťuje všechny pracovní pohyby manipulačního zařízení. Závěr práce se věnuje zpětnému ověření nosnosti manipulátoru, výpočtu klopné stability stroje a pevnostní analýze výložníku a násady. Součástí práce je výkres celkové sestavy zařízení a výkresy podsestav výložníku a násady.
|
host ::
RSS.