Now showing items 1-20 of 46

  • Analýza práce s dynamickými datovými strukturami v C programech 

    Šoková, Veronika
    Táto diplomová práca sa zaoberá analýzou dynamických dátových štruktúr pomocou analýzy tvaru použitej v nástroji Predator. Popisuje zvolenú abstraktnú doménu pre reprezentáciu pamäte vo forme symbolických grafov pamäte. ...
  • Automatizované testování GUI pomocí kontejnerů 

    Sojčák, Juraj
    Cieľom bakalárskej práce je vytvorenie systému na automatizované testovanie GUI desktopových aplikácií, ktorý sa dá jednoducho nasadiť ako testovacie prostredie. Tento systém pozostáva z nástroja, v ktorom je užívateľ ...
  • Centralizace správy bezpečnostních politik v Javě 

    Kalina, Jan
    WildFly je platformou pro distribuované prostředí splňující specifikaci Java Enterprise Edition. Tato práce se zabývá možnostmi centrální správy bezpečnostních politik v tomto prostředí. Bezpečnostní politika je sada ...
  • Chat a sdílená kreslící plocha pro mobilní telefony s Bluetooth 

    Pitner, Ivo
    Tato práce se zabývá analýzou, návrhem a implementací aplikace pro mobilní zařízení, která umožní dvěma uživatelům komunikovat. Jako příklad by mohla sloužit situace, kdy se lidé potřebují dohodnout, ale není možné rušit ...
  • A Decision Procedure for the WSkS Logic 

    Fiedor, Tomáš
    Různé typy logik se často používají jako prostředky pro formální specifikaci systémů. Slabá monadická logika druhého řádu s k následníky (WSkS) je jednou z nich a byť má poměrně velkou vyjadřovací sílu, stále je rozhodnutelná. ...
  • Detektor utajovaných prostředků pro GNU/Linux 

    Nečas, Radek
    Tato práce se zabývá detekováním skrytých prostředků v prostředí operačních systémů GNU/Linux. Současně analyzuje nástroje, které toto skrývání provádějí (tzv. rootkity). Práce je rozdělena na teoretickou a praktickou část. ...
  • E-learningový systém založený na moderních technologiích v jazyce JAVA 

    Sechovec, Petr
    Cílem bakalářské práce bylo seznámení se s problematikou komunitných systémů, současných systémů na podporu výuky cizích jazyků, a na základě získaných poznatků navrhnout a implementovat komplexní výukový systém, umožňující ...
  • Editor Objektově orientovaných Petriho sítí 

    Karlubík, Peter
    Tato bakalářská práce se zabývá návrhem a implementací nástroje pro editaci a simulaci Objektově orientovaných Petriho sítí. Nástroj podporuje dva formáty zápisu Objektově orientovaných Petriho sítí, a to PNtalk a PNML. ...
  • Efektivní algoritmy pro práci s konečnými automaty 

    Hruška, Martin
    Nedeterministické konečné automaty jsou používány v mnoha oblastech informatiky, mimo jiné také ve formální verifikaci, při návrhu číslicových obvodů nebo pro reprezentaci regulárlních jazyků. Jejich výhodou oproti ...
  • Fuzz testování výkonu programu 

    Liščinský, Matúš
    Oprava jednej chyby niekedy prináša do programu ďalších desať. Na odhalenie týchto chýb, najmä výkonnostných, často musíme programu poskytnúť vstup, ktorý vynúti jeho správanie pre najhorší prípad. Populárnym riešením pre ...
  • Integrace IBM SoftLayer do prostředí ManageIQ 

    Coufal, Tomáš
    Cloudová řešení získávají na popularitě, spolu s tím však roste jejich složitost. Pro jejich efektivní správu a řízení existují různá řešení. Projekt ManageIQ je jedním z těchto nástrojů. Tato bakalářská práce se zabývá ...
  • Jazyky Petriho sítí a jejich akceptory 

    Pavlů, Igor
    Tato práce se zabývá P/T Petriho sítěmi a jazyky Petriho sítí. V práci jsou také uvažovány omega-jazyky a jejich vztak k Petriho sítím. Hlavní náplní práce je navržení akceptoru (rozšířené Petriho sítě) některých tříd ...
  • Knihovna pro profilování datových struktur programů C/C++ 

    Pavela, Jiří
    Výkonnostní chyby mohou do velké míry negativně ovlivnit kvalitu vyvíjeného systému a v některých kritických odvětvích způsobit nevratné škody. K nalezení těchto chyb je obvykle využita profilace v současnosti jedna z ...
  • Model strategického rozhodování ve vícehráčové hře s prvky kooperativního chování 

    Straka, Richard
    Práce se zabývá studiem matematických modelů lidského chování v sekvenčních strategických hrách, návrhem strategické situace vykazující prvky kooperace, implementací modelu a experimentováním s modelem. Pro práci byla ...
  • Nástoj pro abstraktní regulární stromový model checking 

    Mráz, Patrik
    Formálna verifikácia sa zaoberá dokazovaním korektnosti systému podľa daných špecifikácií.Jej potrebu znásobuje stále väčšia rozšírenosť počítačov a neustály rast zložitosti aj rozsiahlosti vyvíjaných systémov. Cieľom tejto ...
  • Nástroj pro abstraktní regulární model checking 

    Chalk, Matěj
    Metody formální verifikace mohou poskytnout automatizované ověření korektnosti softwaru (stavěné na matematických základech), což je velmi důležité. Jednou z těchto metod je abstraktní regulární model checking, jenž používá ...
  • Nástroj pro práci s Büchi automaty 

    Schindler, Petr
    Tato práce zpracovává problematiku Büchiho automatů a představuje knihovnu, umožňující provádět základní operace nad těmito automaty. V práci jsou uvedeny základy teorie automatů. Ty jsou použity při popisu konečných ...
  • Nástroj pro sestavení vlastní distribuce Fedora 

    Blažek, Jan
    Tato práce se zabývá návrhem a implementací sady nástrojů pro sestavení a instalaci RPM balíčků ze zdrojových SRPM balíčků v distribuci Fedora. Nástroje umožňují modifikaci voleb kompilátoru a maker, která jsou expandována ...
  • Nástroj pro tvorbu definic OVAL v projektu OpenSCAP 

    Černý, Jan
    Tato práce se zabývá standardem SCAP používaným v oblasti počítačové bezpečnosti a popisuje jeho svobodnou implementaci OpenSCAP. V textu je analyzován jazyk OVAL sloužící pro popis zraniteností a bezpečné konfigurace ...
  • Nové modely pro automatickou detekci degradace výkonu 

    Stupinský, Šimon
    Testovanie výkonu predstavuje kľúčový faktor pri optimalizácii programov počas ich vývoja, avšak, v súčastnosti nie je vyvinutý na takej úrovni ako funkcionálne testovanie. Nástroj Perun poskytuje automatickú správu ...