|
Detektory strukturovaných dat pro účely testování software
Znojil, Ondřej ; Turoňová, Lenka (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a popisem implementace nástroje pro analýzu strukturovaných dat v často používaných formátech jako je JSON nebo XML. Nástroj je jedním z mnoha dílších prvků platformy Testos, což je sada vzájemně komunikujících testovacích nástrojů. Primárním cílem této práce je vytvoření analyzátoru za účelem testování a propojení s dalšími nástroji v rámci projektu. Nástroj slouží k agregaci vstupních dat, určení váhy jednotlivých datových entit a abstrakcí skalárních hodnot.
|
| |
| |
|
Detection of Timing Side-Channels in TLS
Koscielniak, Jan ; Malík, Viktor (oponent) ; Vojnar, Tomáš (vedoucí práce)
The TLS protocol is complex and widely used, which necessitates thorough testing, as there are many devices relying on it for secure communication. This thesis focuses on timing side-channel vulnerabilities, which seem to come back every few years in different variations of the same attacks. It aims to help correctly fix those vulnerabilities and prevent the creation of new ones by providing an automated side-channel testing framework that is integrated into the tlsfuzzer tool, and by expanding its test suite with test scripts for known attacks that exploit timing side-channels. The extension utilizes tcpdump for collecting the timing information and statistical tests and supporting plots to make a decision. The extension and the new test scripts were evaluated and shown to be accurate at spotting side-channels. Both the extension and the test scripts are now a part of the tlsfuzzer tool.
|
|
Generátor testovacích dat pro relační databáze
Bašta, Jiří ; Rychlý, Marek (oponent) ; Burget, Radek (vedoucí práce)
Testování systémů a aplikací je součástí jejich vývoje, a proto je důležité vkládat testovací data. Generátor testovacích dat dle předem vytvořené šablony slouží jako nástroj pro naplnění databázových tabulek testovacími daty. Vytvořená aplikace dovolí vývojářům nebo administrátorům efektivně testovat různé systémy jež využívají databázové úložiště. Generování dat probíhá dle předem vytvořená šablony jež definuje strukturu databázových tabulek. Následující text popisuje databázové systémy jako takové, různé způsoby tvorby a vkládání dat a postup implementace nástroje, který by tuto tvorbu testovacích dat umožňoval.
|
|
Modelování predikce bankrotu zemědělských podniků
Pokorný, Petr ; Peter,, Markovič, (oponent) ; Karas, Michal (vedoucí práce)
Diplomová práce je zaměřená na problematiku predikce bankrotu firem podnikající v odvětví zemědělství v České republice. Úvodní část se skládá z úvodu do odvětví zemědělstkých firem a teoretického popisu modelů bankrotu využivaných v akademické sféře. V praktická část práce je rozdělena do dvou úseků. V prvním je provedena aplikace dat dostupných z veřejných zdrojů do určitých modelů bankrotu a jejich hodnocení. Následující úsek je zaměřen na zdokonalení nejslibnějšího modelu s cílem maximalizovat jeho přesnot.
|
| |
|
Zpracujte revizi zadaného elektrického zařízení
Lanc, Rudolf ; Mach, Martin (oponent) ; Veselka, František (vedoucí práce)
Revize elektrického zařízení je ověření stavu zařízení z hlediska bezpečnosti. Cílem bakalářské práce je revize vybraného elektrického zařízení. Na vybraném zařízení bude provedena prohlídka, měření, kontroly a zkoušky, které předepisují normy. Na základě zjištěných skutečností bude vystavena revizní zpráva, ve které budou případné nedostatky popsány. Dále budou vysvětlena případná rizika a navržen způsob jejich eliminace.
|
|
Emulace DPDK běžícího na procesoru NXP v systému QEMU
Postolka, Matěj ; Dražil, Jan (oponent) ; Kořenek, Jan (vedoucí práce)
Tato práce řeší emulaci síťové funkcionality procesoru NXP QorIQ LS2088A z důvodu testování DPDK aplikací určených pro tuto platformu. Síťová funkcionalita této platformy je poskytována emulovaným PCI zařízením, které je dostupné v prostředí emulátoru QEMU. Toto emulované zařízení je kompatibilní s DPDK a podporuje ty samé funkce jako procesor NXP QorIQ LS2088A. Díky tomu lze vytvořit virtuální prostředí pro testování DPDK aplikací určených pro platformu NXP QorIQ LS2088A.
|
|
Samočinné testování mikrokontrolerů
Denk, Filip ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Práce se zabývá funkční bezpečností elektronických systémů. Konkrétně se zaměřuje na samočinné testování mikroprocesoru a jeho periferií na softwarové úrovni. Cílem práce je navrhnout a implementovat soubor funkcí v jazyce C nebo v jazyce symbolických adres, které samočinně testují zvolené oblasti mikrokontroléru. Prostředky a metody použité v implementovaném řešení si také kladou za cíl splnit požadavky popsané v normě IEC 60730-1, příloha H, softwarová třída B. Zvolenou hardwarovou platformou je mikrokontrolér NXP LPC55S69, jež obsahuje dvě jádra ARM Cortex-M33. Výsledkem je demonstrační aplikace, která v průběhu vykonávání využívá implementované testovací funkce. Součástí je také uživatelské prostředí s možností injekce chyb.
|