|
Automatické testování detektoru úniku plynu
Skryja, Petr ; Malinowski, Radim (oponent) ; Novák, Marek (vedoucí práce)
Tato práce se zabývá automatickým testováním ultrazvukového detektoru úniku plynu, který je nutné testovat při běžných změnách ve fázi vývoje. Čtenář bude seznámen se základními principy detekce plynu, návrhem testovacího přípravku, softwarovou architekturou a její realizací. Dále je představena ovládací GUI aplikace a návod pro psaní testů. V této práci je využito vývojové desky Beaglebone Black s oparačním systémem Debian sloužící jako jádro celého testovacího přípravku.
|
|
Mobilní aplikace pro psychodiagnostiku předškolních dětí
Guryča, Ondřej ; Smíšek, Radovan (oponent) ; Škutková, Helena (vedoucí práce)
Tato bakalářská práce je zaměřena na možnost psychodiagnostiky předškolních dětí pomocí aplikace v chytrém telefonu. V práci je pojednáno o principu psychodiagnostiky a jejím rozdílném přístupu u dětské psychodiagnostiky, dále jsou zde uvedeny používané psychodiagnostické testy. V další části je představena realizace aplikace pro operační systém Android s vybranými testy. Nakonec je vysvětlen způsob vyhodnocení dat a doporučení používání aplikace.
|
| |
|
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.
|
| |