Now showing items 1-20 of 74

  • Abstrakce dynamických datových struktur s využitím šablon 

    Malík, Viktor
    Cieľom tejto práce je návrh analýzy tvaru haldy vhodnej pre potreby analyzátora 2LS. 2LS je nástroj pre analýzu C programov založený na automatickom odvodzovaní invariantov s použitím SMT solvera. Navrhované riešenie ...
  • Analýza a oznámení o nových ResultCloud výsledcích 

    Iakymets, Bohdan
    Většinou výsledky testů aplikace jsou stejné a proto nenesou žádnou užitečnou informaci. Vývojáři musejí neustále probírat velké množství zbytečných informací, aby našli něco za jímavého. Tedy vývojář potřebuje nástroj pro ...
  • Analýza a testování vícevláknových programů 

    Letko, Zdeněk
    V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů ...
  • 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. ...
  • Aplikace pro výuku jazyků pro Firefox OS 

    Chudík, Jakub
    Tato práce se zabývá vytvořením aplikace pro výuku jazyků specificky pro mobilní operační systém Firefox OS. Vzhledem k své povaze, uživatelské rozhraní aplikace se snaží uspokojit ergonomické potřeby aplikací určených pro ...
  • Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection 

    Češka, Milan; Havlena, Vojtěch; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš (Springer Verlag, 2018-02-23)
    We consider the problem of approximate reduction of non-deterministic automata that appear in hardware-accelerated network intrusion detection systems (NIDSes). We define an error distance of a reduced automaton from the ...
  • Automatická formální verifikace korektnosti programů v nástrojích SDV, Copper a podobných 

    Kovalič, Peter
    Tato práce se věnuje verifikaci ovládačů. Používají se při tom model checkery, hlavní z nich je Static Driver Verifier. Pomocí něj se kontroluje zvolený ovládač Ext2Fsd. Patří do skupiny ovládačů souborových systémů. ...
  • Automatická verifikace v procesu soubežného návrhu hardware a software 

    Charvát, Lukáš
    Předmětem dizertační práce je návrh nových technik pro verifikaci hardwaru, které jsou optimalizovány pro použití v procesu souběžného vývoje hardwaru a softwaru. V rámci tohoto typu vývoje je hardware spolu se software ...
  • Automatické dopředné prořezávání programů 

    Patrik, Nikolas
    Táto práca popisuje návrh a implementáciu nového riešenie pre nástroj DiffKemp na automatické dopredné prerezávanie programov. Po zdĺhavej analýze súčasného riešenia, sme sa rozhodli súčasné riešenie ponechať a rozšíriť ...
  • Automatické generování testů pro GNOME GUI aplikace z metadat AT-SPI 

    Krajňák, Martin
    Cieľom tejto práce je vývoj nástroja na automatické generovanie testov pre aplikácie s grafickým užívateľským rozhraním v~prostredí GNOME. Na generovanie testov sú použité metadáta asistenčných technológií, konrétne AT-SPI. ...
  • Automatické srovnávání výstupu statické analýzy na různých verzích programů 

    Kompová, Radmila
    Práce se zabývá vývojem nástrojové podpory pro srovnávání výstupu statické analýzy uplatněné na různé verze zdrojových kódů programů. Součástí je rovněž diskuze tří volně dostupných statických analyzátorů pro jazyk C, z ...
  • Automatický nástroj k získávání metadat komponent pro úlohy průběžné integrace 

    Kulda, Jiří
    Tato diplomová práce popisuje úpravu průběžné integrace pro Platform tým ve společnosti Red Hat. Výsledkem práce je nástroj Metamorph, který umožní sjednocení ostatních nástrojů průběžné integrace pod týmem Platform. ...
  • Automatizované metody hledání chyb v překladačích 

    Müller, Petr
    Tato práce se zabývá aplikací metody fuzz testing k testování překladačů a interpretů. V první části pojednává o překladačích, optimalizacích a chybách typických pro optimalizující překladač. Analyzuje vhodnost metod ...
  • Automaty v nekonečně stavové formální verifikaci 

    Lengál, Ondřej
    Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro ...
  • Detekce časových postranních kanálů v TLS 

    Koscielniak, Jan
    Protokol TLS je komplexní a jeho použití je široce rozšířené. Mnoho zařízení používá TLS na ustanovení bezpečné komunikace, vzniká tak potřeba tento protokol důkladně testovat. Tato diplomová práce se zaměřuje na útoky ...
  • Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java 

    Letko, Zdeněk
    Hledání chyb plynoucích ze souběžného zpracovávání výpočtů je obtížné. Proto se tato diplomová práce zabývá detekcí a léčením časově závislých chyb nad daty a chyb plynoucích z nesprávné atomicity operací v prostředí Java. ...
  • Efektivní knihovna pro práci s konečnými stromovými automaty 

    Lengál, Ondřej
    Mnoho současných počítačových systémů používá dynamické datové či řídicí struktury předem neomezené velikosti. Tyto datové struktury mají často charakter stromů nebo se dají zakódovat jako stromy s některými dodatečnými ...
  • Fuzz testování aplikací komunikujících prostřednictvím OData protokolu 

    Mjachky, Ľuboš
    Dodávať stabilný a spoľahlivý softvér nie je jednoduché. Aplikácie sú náchylné k chýbam bez ohľadu na dôslednosť a skúsenosť vývojárov. Aby sa zabránilo chybovým stavom na strane zákazníka, používajú sa vo všetkých fázach ...
  • Generátor dokumentace pro testy používající knihovnu BeakerLib 

    Kulda, Jiří
    Cílem této práce řešené ve spolupráci se společností Red Hat Czech je navrhnout, implementovat a ověřit generátor dokumentace pro testy používající knihovnu BeakerLib, který efektivně vytváří dokumentaci z neokomentovaných ...
  • Gramatiky s omezenými derivačními stromy 

    Koutný, Jiří
    V této disertační práci jsou studovány teoretické vlastnosti gramatik s omezenými derivačními stromy. Po uvedení současného stavu poznání v této oblasti je výzkum zaměřen na tři základní typy omezení derivačních stromů. ...