|
|
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.
|
|
| |
|
|
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.
|
|
|
Generátor EKG signálu pro testovací účely
Čech, Petr ; Rampl, Ivan (oponent) ; Chmelař, Milan (vedoucí práce)
Tato Diplomová práce se zabývá problematikou testování EKG monitorů a EKG přístrojů. V práci jsou rozebrány vznik a vlastnosti EKG signálu. Prezentace EKG signálu se provádí pomocí standardizovaných svodů. Proto je zde rovněž uveden způsob, jakým se jednotlivé svody vytvářejí. Samostatná kapitola je věnovaná možnostem generování EKG signálu. Dále jsou zde stanoveny požadavky na generátor EKG signálu. Ty vycházejí především z možností testovaných přístrojů a z povahy generovaného signálu. Práce rovněž obsahuje obvodový návrh jednotlivých bloků systému. Návrh byl proveden s ohledem na požadavek mobility zařízení a možnosti připojit standardní 12-svodový kabel EKG přístroje. Nedílnou součástí je návrh řídícího programu generátoru.
|
|
|
Bezpečnostní rizika autentizačních metod
Dzurenda, Petr ; Babnič, Patrik (oponent) ; Rosenberg, Martin (vedoucí práce)
Diplomová práce se zabývá bezpečnostními riziky současných autentizačních metod. Jsou zde popsány metody založené na znalostech uživatele, vlastnictví autentizačního předmětu a biometrické metody ověření. Praktická část diplomové práce se zabývá konkrétním návrhem autentizačního systému, založeného na protokolu ACP, kdy uživatel prokazuje svoji totožnost čipovou kartou u poskytovatele aktiva, kterým je ACP portál na uživatelském počítači.
|
|
|
Automatická tvorba testovacích případů z datových toků
Kraut, Daniel ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. Je zde nastíněn náhled na průběh tvorby testů a funkci CSP solverů, které jsou nezbytnou částí pro rozhodnutelnost těhto problémů. Statická analýza kódu je umožněna knihovnou LibTooling v projektu překladačového front-endu Clang. Jsou uvedeny výstupy z aplikace, jimiž jsou automaticky vytvořené vstupní hodnoty pro testovací případy.
|
|
|
System for Automatic Filtering of Tests
Lysoněk, Milan ; Smrčka, Aleš (oponent) ; Malík, Viktor (vedoucí práce)
The goal of this thesis is to create a system that automatically determines a set of tests that must be run when a change is done in the ComplianceAsCode project. The proposed method selects a set of tests based on static analysis of the changed sources, taking into account the internal structure of ComplianceAsCode. The created system is divided into four parts - obtaining changes from the versioning system, static analysis of different types of files, computing the set of files affected by the change, and computing the set of tests that must be run to test the given change. We implemented analysis of several types of files and our system is designed to be easily extended by other analyses for other file types. The created implementation is deployed on the server where it automatically analyzes new contributions to the ComplianceAsCode project. The automatic running informs contributors and developers about changes that it found and recommends which tests should be run for the change. This saves the time spent on verifying the correctness of contributions as well as the time spent on running tests.
|
|
|
Automatizovaný tester UWB rádiových lokátorů
Charvát, Jan ; Juráň, Radovan (oponent) ; Mlýnek, Petr (vedoucí práce)
Tato diplomová práce se zabývá procesem automatizace testování bezdrátových lokátorů. Tyto zařízení využívají systém UWB, který je představen v teoretické části této práce. Dále je zde rozebrána problematika testovacího procesu a možností jeho automatizace. Praktická část této práce je věnována návrh a zhotovení automatického testovací přípravku pro UWB lokátory, a to jak hardwarové, tak softwarové části.
|
|
| |
host ::
RSS.