|
|
Řídicí systém pro testování linuxových aplikací
Beneš, Eduard ; Vojnar, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Táto práca sa zaoberá problematikou riadiaceho systému pre testovanie linuxových aplikácií. Práca poukazuje na dôležitosť testovania software a jeho kvality pomocou automatizovaných softwarových nástrojov. Red Hat Test System (RHTS) je jedným z mnohých testovacích nástrojov. Predstavené sú rozdielne prístupy k ich klasifikácii a vyhodnocovaniu. Vybrané nástroje sú vyhodnotené a porovnané so systémom RHTS. V tejto práci je navrhnutý systém pre neinteraktívne testovanie linuxových aplikácií s podporou pre RHTS testy a s dôrazom na budúce rozšírenia. Implementovaný systém je následne otestovaný pomocou navrhnutých testov a popísaných je niekoľko príkladov použitia.
|
|
|
Rozpoznávání podobností souborů na základě chování
Otočka, Dávid ; Vojnar, Tomáš (oponent) ; Peringer, Petr (vedoucí práce)
Cílem práce bylo navrhnout algoritmus, který na základě výstupu z analýzy chovaní programu, dokáže stanovit míru podobnosti s jinými programy. Pro potřeby algoritmu byla upravena Levenshteinova metoda pro výpočet rozdílu mezi dvěma řetězci a metoda NCD. U obou metod je v práci uveden spůsob jejich implementace a výsledky testů. V práci jsou popsány způsoby analýzy programů v prostředí virtuálního počítače i vysvětlení některých základních pojmů týkajících se analýzy škodlivého kódu.
|
|
|
Statická analýza možných hodnot proměnných v programech v C
Ďuričeková, Daniela ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Analýza rozsahu hodnot (anglicky value-range analysis) je metoda statické analýzy založená na zjišťování hodnot, kterých může daná proměnná nabývat v určitém místě v programu. Tato technika může být použita k dokázání, že se v programu nevyskytují chyby za běhu, jako například přístup za hranici pole. Jelikož analýza rozsahu hodnot získává informace o každém místě v programu, lze k její implementaci využít analýzu toku dat (anglicky data-flow analysis). Cílem této diplomové práce je návrh a implementace funkčního nástroje provádějícího analýzu rozsahu hodnot. Práce začíná úvodem do problematiky, vysvětlením analýz toku dat a hodnot proměnných a popisem abstraktní interpretace, která tvoří formální základ analyzátoru. Následuje seznámení s prostředím Code Listener, které bylo využito k implementaci analyzátoru. Jádro práce tvoří návrh, implementace a otestování analyzátoru. V závěru jsou shrnuty nabyté zkušenosti a diskutovány možnosti budoucího vývoje vytvořeného nástroje.
|
|
|
Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java
Letko, Zdeněk ; Kolář, Dušan (oponent) ; Vojnar, Tomáš (vedoucí práce)
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. Práce prezentuje dva různé algoritmy pro detekci. Jedním z nich je nový algoritmus nazvaný AtomRace, který detekuje časově závislé chyby nad daty jako speciální případ nesprávné atomicity operací. Následné léčení detekovaných chyb je založeno na potlačení opakování chyby, buď zavedením přídavné synchronizace, nebo legálním ovlivňováním plánovače Javy, za účelem vynucení správné atomicity operací. Navržená architektura, která pracuje souběžně se sledovaným programem, využívá ke sledování a ovlivňování výpočtu techniku instrumentace na úrovni Java bytecode. Architektura a algoritmy byly implementovány a otestovány v několika případových studiích.
|
|
|
Sdílená tabule
Řezník, Jaroslav ; Mazal, Zdeněk (oponent) ; Vojnar, Tomáš (vedoucí práce)
Cílem projektu "Sdílená tabule" je navrhnout a implementovat aplikaci, která umožní spolupráci na skupinových projektech v reálném čase v síťovém prostředí. Komunikace může probíhat jak pomocí textových zpráv, tak multimediálně pomocí kreslení na sdílené tabuli, vkládáním interaktivních objektů a hlasovou či video komunikací. V rámci semestrální části projektu se řeší využití interaktivních tabulí, návrh komunikačního protokolu a grafického uživatelského rozhraní. V diplomové práci následně implementace aplikace.
|
|
|
Mikrojádra operačních systémů
Beneš, Eduard ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Táto práca sa zaoberá problematikou mikrojadier operačných systémov. Prvá časť je zameraná na oboznámenie s problematikou jadier operačných systémov. Obsahuje základné vlastnosti a mechanizmy druhej generácie mikrojadier reprezentovanej mikrojadrom L4, na ktoré sa zameriavame v ďalších častiach práce. Následne sú opísané dva rôzne porty operačného systému Linux nad mikrojadro L4, sú to L4Linux a Wombat. V druhej časti práce je popísaný spôsob inštalácie vybraných portov a hlavné problémy, ktoré sme museli riešiť. Tretia a štvrtá časť sú zamerané na problematiku testovania výkonnosti nainštalovaných systémov. Popisujeme metodológiu zvolených experimentov a význam jednotlivých testov. Výsledky, spolu s ich vyhodnotením, sú uvedené vo štvrtej časti. Pokiaľ to je vhodné, získané výsledky konfrontujeme medzi sebou, prípadne s výsledkami testov získaných z Internetu. V záverečnej časti je na základe nadobudnutých znalostí uvedená stručná diskusia na tému možností uplatnenia mikrojadier.
|
|
|
Statická analýza programů v C ve Sparse a příbuzných nástrojích
Nagy, Martin ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Softwarová verifikace se postupně stává čím dál tím více důležitou součástí vývoje. Jejím cílem je zajištění kvality výstupního produktu. Navzdory tomuto ale problém psaní dobrých nástrojů pro statickou analýzu často spočívá v nedostatku dobrého front-endu překladače. Tato práce se pokouší analyzovat a zdokumentovat existující nástroj, zvaný Sparse, aby byli vědečtí pracovnící vyzbrojeni stabilním řešením, které jim umožní vyvíjet jejich analyzátory. V neposlední řadě je taky diskutovaný projekt Mygcc a jeho nový přístup k integraci se stávajícími překladači.
|
|
|
Podpora snapshotu a rollbacku pro konfigurační soubory v distribuci Fedora
Ježek, Michal ; Vojnar, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této diplomové práce je navrhnout a implementovat nástroje pro podporu snapshotu a rollbacku konfiguračních souborů na distribuci GNU/Linuxu. Sada nástrojů umožňuje pravidelné/automatické ukládání konfiguračních souborů do zvoleného umístění. Aktualizace záloh reagují na události na souboru sledováním změn pomocí podsystému jádra inotify. Nástroje umožňují návrat k libovolné vybrané záloze. Způsob aktualizace záloh je konfigurovatelný. Nástroj umožňuje porovnávat data z libovolných záloh, zobrazit rozdíly v konfiguracích a případně provést sloučení mezi aktuálními souboury a vybranou zálohou. Nástroje také umožňují porovnání jak konfigurace z jednoho klienta, tak i konfigurace klientů mezi sebou. Mezi klienty je zároveň možné zobrazit rozdíly a případně provést sloučení.
|
|
|
Generátor dokumentace pro testy používající knihovnu BeakerLib
Kulda, Jiří ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
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 BeakerLib testů. V prvním kroku generátor extrahuje data z BeakerLib příkazů. Následně jsou data přetvořena do informací v přirozeném jazyce. Na závěr jsou tyto informace vloženy do šablony dokumentace. Při tvorbě generátoru dokumentace byl použit modul argparse pro hledání dat z BeakerLib příkazů. Ve srovnání s existujícími nástroji navržený generátor přináší nový způsob vytváření dokumentací bez použití dokumentačních komentářů. Díky této vlastnosti lze generovat dokumentace, které jsou vytvořeny na základě automatizovaného porozumění zdrojového kódu testu. Testování, po celou dobu vývoje generátoru, probíhalo na třech zvolených BekerLib testech. Na závěr byl generátor otestován na deseti náhodně zvolených BeakerLib testech.
|
|
|
Pokrytelnosti pro paralelní programy
Turoňová, Lenka ; Vojnar, Tomáš (oponent) ; Holík, Lukáš (vedoucí práce)
Tato diplomová práce se zabývá automatickou verifikací systémů s paralelně běžícími procesy. Práce diskutuje existující metody a možnosti jejich optimalizace. Stávající techniky jsou založeny na hledání induktivního invariantu (například pomocí techniky zjemňování abstrakce řízené protipříklady (CEGAR)). Efektivnost metod závisí na velikosti nalezeného invariantu. V rámci této diplomové práce jsme nalezli možnost zlepšení metod díky zaměření se na hledání invariantů minimální velikosti. Naimplementovali jsme nástroj, který zajišťuje prohledávání prostoru invariantů systému. Naše experimentální výsledky ukazují, že mnoho existujících systémů užívaných v praxi má skutečně mnohem menší invarianty než ty, které lze nalézt stávajícími metodami. Závěry a výsledky této práce budou sloužit jako základ budoucího výzkumu, jehož cílem bude navržení optimální metody pro vypočítání malých invariantů paralelních systémů.
|
host ::
RSS.