|
|
Detectors of Structured Data for Generating Test Data
Znojil, Ondřej ; Turoňová, Lenka (referee) ; Smrčka, Aleš (advisor)
This works is focused on design and implementation of utility for analysis of structured data of often used formats as JSON or XML. Utility is one of many components of Testos platform, which is set of testing utilities, communicating with each other. Primary goal of this thesis is creation of analysator for the prupose of testing. Utility is used to aggregate input data, determine occurence of each data entity and abstraction of its scalar values.
|
|
| |
|
| |
|
|
Detection of Timing Side-Channels in TLS
Koscielniak, Jan ; Malík, Viktor (referee) ; Vojnar, Tomáš (advisor)
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 přes časové postranní kanály, které se znovu a znovu objevují jako variace na už známé útoky. Práce si klade za cíl usnadnit korektní odstranění těchto postranních kanálů a předcházet vzniku nových vytvořením automatizovaného frameworku, který pak bude integrován do nástroje tlsfuzzer, a vytvořením testovacích scénářů pro známé útoky postranními kanály. Vytvořené rozšíření využívá program tcpdump pro sběr časových údajů a statistické testy spolu s podpůrnými grafy k rozhodnutí, zda se jedná o možný postranní kanál. Rozšíření bylo zhodnoceno pomocí nových testovacích skriptů a byla předvedena jeho dobrá schopnost rozlišit postranní kanál. Rozšíření spolu s testy je nyní součástí nástroje tlsfuzzer.
|
|
|
Testing Data Generator for Relational Databases
Bašta, Jiří ; Rychlý, Marek (referee) ; Burget, Radek (advisor)
Testing of systems and applications is part of their development and therefore , testing data generation is very important . Test data generator according to a previously created template is as a tool for inserting test data to the database tables . This software allows developers or administrators to effectively test various systems that use the database storage . Data generation is carried out according to a pre - created template that defines the structure of database tables . The thesis describes the related topics of database systems and the process of the apllication implementation .
|
|
|
Bankruptcy Prediction Modelling in the Agriculture Business
Pokorný, Petr ; Peter,, Markovič, (referee) ; Karas, Michal (advisor)
This master’s thesis is focused on problematic within the prediction of bankruptcy of companies operating in the field of agriculture in Czech republic. First part consists of introduction to companies that do business in field of agriculture and it describes bankruptcy models that are used in academicals sphere. Other part of thesis is divided into two sub-parts. First part is dedicated to an application of data into models of bankruptcy and their evaluation. Second part is focused on improvement of the best model and its main goal is to maximize the precision of the bankruptcy.
|
|
| |
|
|
Process a review of the specified electrical equipment
Lanc, Rudolf ; Mach, Martin (referee) ; Veselka, František (advisor)
The revision of the electrical equipment means verifying the state of the equipment concerning its safety. The aim of the Bachelor Thesis is the revision of the selected electrical equipment. The particular equipment will undergo a revision, measurements, supervisions, and tests, which are subject of the norms. A revision report will be issued as a result of the established facts, in which possible failures will be described. Further on eventual risks will be explained and techniques how to eliminate them proposed.
|
|
|
Emulation of DPDK Running on an NXP Processor in the QEMU System
Postolka, Matěj ; Dražil, Jan (referee) ; Kořenek, Jan (advisor)
This project deals with the emulation of the networking features of the NXP QorIQ LS2088A processor for the purpose of testing Data Plane Development Kit (DPDK) applications. These networking features are emulated as a virtual PCI device in the QEMU machine emulator. This PCI device is compatible with the DPDK and supports the features offered by the original NXP QorIQ LS2088A hardware, thus providing a virtual environment for testing DPDK applications designed for the original NXP QorIQ LS2088A hardware.
|
|
|
Self-Testing of Microcontrollers
Denk, Filip ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
This Master's thesis deals with functional safety of electronic systems. Specifically, it focuses on self-testing of the microprocessor and its peripherals at the software level. The main aim of the thesis is to design and implement a set of functions written in programming language C or assembly language, which automatically test the selected areas of the microcontroller. Resources and methods used in the implemented solution also aim to meet the requirements according to the safety standard IEC 60730-1, Annex H, Software Class B. The microcontroller NXP LPC55S69 was chosen as a hardware platform. It consists of two ARM Cortex-M33 cores. As a result, the example application is provided, which uses implemented test functions at the run-time. Example application also contains a graphical user interface with fault injection ability.
|
guest ::
