|
|
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.
|
|
|
Test Case Management with Support of BDD
Bložoňová, Barbora ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
This thesis focuses on test management tools and automated testing. The project covers analysis of existing open source tools and proposes its own BDD orientated test management tool in the form of a web service. The project aims to specify and design this application based on the process of Behaviour driven development. The resulting application TestBuDDy allows for test library management. Changes on the test library are projected onto a remote repository of software under test (SUT) and triggers a test run (the test library is being run against SUT by the BDD framework). TestBuDDy is able to save the test run results, parse them into a report and generate and group found issues. The application also allows requirement management and user management. The application is integrated with the CI/CD tool Gitlab CI, the BDD framework JBehave and the issue tracker JIRA. The application is designed to help testers during their work and also to be expandable within the open source community.
|
|
|
Automated Detection of Types in Data Structures
Oháňka, Martin ; Hruška, Martin (referee) ; Smrčka, Aleš (advisor)
This bachelor's thesis deals with data structure synthesis for software testing. In particular, the thesis focuses on analysis of real data in order to detect data types for further test data generation. Data analysis is performed in two layers: a control system for scheduling and invoking partial detections, and a set of data detectors. The thesis deals with analysis and implementation of tool consisting of set of data type detectors over tree structured data like JSON, YAML, or XML. The goal of the detectors is to determine a semantics of values of analysed structure and dependencies between data. The set can be easily expanded as needed, to detect even more complicated meanings and dependencies. The results of these analysis can be used to generate new test data for software testing.
|
|
|
Testing of Device for DoS Attack Protection
Burzala, Matúš ; Vrána, Roman (referee) ; Kučera, Jan (advisor)
This thesis deals with testing of a device for (D)DoS protection DCPRO, that is developed within the CESNET association. The aim of the thesis was to design and implement an extendable testing system, which would allow automated testing of DCPRO device. In addition to the testing system, there was created a collection of tests for verification of functional and performance parameters of the device within the thesis. Afterwards, the developed system was integrated into a continuous integration system Jenkins. Particularly within the thesis there were created 109 specific test scenarios to test device firmware modules, 7 throughput test scenarios, 10 test scenarios to verify proper functionality of software modules dedicated to SYN Flood and amplification attacks protection, and one test for verification of device network routing ability. The developed testing system is easily extensible. In order to simplify a future extension of the system, there is a created template encapsulated in source files for new test creation and text part of the thesis contains guide how to create new tests.
|
|
|
Design of a complex HIL simulator of car boot door
Obrtáč, Tomáš ; Krejčí, Petr (referee) ; Spáčil, Tomáš (advisor)
This thesis covers the development of complex HIL simulator for the fifth car door. The beginning of the thesis is dedicated to theoretical research in the area of In-the-Loop testing. Practical part describes development of HIL simulator complemented by power electronics part. A simulation environment Matlab/Simulink was used for control design and analysis. Before the beginning of the work was measured signal part of control unit and specific signal sequences were identified. The control was applied on sbRIO device from National Instruments company with the implementation of a model on FPGA. Specific requirements for sensing speed and generation of communication signals lead to creation of unique hardware for application needs. The result of the thesis is complex HIL simulator with intuitive GUI and possibility of simulations a wide range of DC motors.
|
|
|
Tester for chosen sub-standard of the IEEE 802.1Q
Avramović, Nikola ; Dvořák, Vojtěch (referee) ; Fujcik, Lukáš (advisor)
Tato práce se zabývá analyzováním IEEE 802.1Q standardu TSN skupiny a návrhem testovacího modulu. Testovací modul je napsán v jazyku VHDL a je možné jej implementovat do Intel Stratix® V GX FPGA (5SGXEA7N2F45C2) vývojové desky. Standard IEEE 802.1Q (TSN) definuje deterministickou komunikace přes Ethernet sít, v reálném čase, požíváním globálního času a správným rozvrhem vysíláním a příjmem zpráv. Hlavní funkce tohoto standardu jsou: časová synchronizace, plánování provozu a konfigurace sítě. Každá z těchto funkcí je definovaná pomocí více různých podskupin tohoto standardu. Podle definice IEEE 802.1Q standardu je možno tyto podskupiny vzájemně libovolně kombinovat. Některé podskupiny standardu nemohou fungovat nezávisle, musí využívat funkce jiných podskupin standardu. Realizace funkce podskupin standardu je možná softwarově, hardwarově, nebo jejich kombinací. Na základě výše uvedených fakt, implementace podskupin standardu, které jsou softwarově související, byly vyloučené. Taky byly vyloučené podskupiny standardů, které jsou závislé na jiných podskupinách. IEEE 802.1Qbu byl vybrán jako vhodná část pro realizaci hardwarového testu. Různé způsoby testování byly vysvětleny jako DFT, BIST, ATPG a další jiné techniky. Pro hardwarové testování byla vybrána „Protocol Aware (PA)“technika, protože tato technika zrychluje testování, dovoluje opakovanou použitelnost a taky zkracuje dobu uvedení na trh. Testovací modul se skládá ze dvou objektů (generátor a monitor), které mají implementovanou IEEE 802.1Qbu podskupinu standardu. Funkce generátoru je vygenerovat náhodné nebo nenáhodné impulzy a potom je poslat do testovaného zařízeni ve správném definovaném protokolu. Funkce monitoru je přijat ethernet rámce a ověřit jejich správnost. Objekty jsou navrhnuty stejným způsobem na „TOP“úrovni a skládají se ze čtyř modulů: Avalon MM rozhraní, dvou šablon a jednoho portu. Avalon MM rozhraní bylo vytvořeno pro komunikaci softwaru s hardwarem. Tento modul přijme pakety ze softwaru a potom je dekóduje podle definovaného protokolu a „pod-protokolu “. „Pod-protokol“se skládá z příkazu a hodnoty daného příkazu. Podle dekódovaného příkazu a hodnot daných příkazem je kontrolovaný celý objekt. Šablona se používá na generování nebo ověřování náhodných nebo nenáhodných dat. Dvě šablony byly implementovány pro expresní ověřování nebo preempční transakce, definované IEEE 802.1Qbu. Porty byly vytvořené pro komunikaci mezi testovaným zařízením a šablonou podle daného standardu. Port „generátor“má za úkol vybrat a vyslat rámce podle priority a času vysílaní. Port „monitor“přijme rámce do „content-addressable memory”, která ověřuje priority rámce a podle toho je posílá do správné šablony. Výsledky prokázaly, že tato testovací technika dosahuje vysoké rychlosti a rychlé implementace.
|
|
|
Investigation of the durability of low voltage switching apparatuses construction parts
Dalecký, Jan ; Dostál, Lukáš (referee) ; Šimek, David (advisor)
This thesis deals with study of durability of low voltage switching devices components. It describes components of circuit breaker and low voltage contactor and contains function models of these devices in various states. Based on model analysis, components that can get worn, damaged or destroyed were selected. Further practical experiments on two samples of circuit breakers from different manufacturers were executed to verify their technical parameters and parts durability. Failure of some components can cause switching device to malfunction.
|
|
| |
|
|
Testing Stand for Fuel Injection Units
Rytina, Matěj ; Beran, Martin (referee) ; Svída, David (advisor)
Master’s thesis is focused on construction of testing stand for unit injector system mounted in Iveco Trakker engines. Testing stand can be with appropriate changes used for testing wide variates of unit injector systems. Simulation of computational model was computed in GT Suite software. Stress strength analysis was computed in Ansys Workbench 18.1 software.
|
|
|
Calibration task of experimental device for space technology testing
Lazar, Václav ; Horák, Marek (referee) ; Mašek, Jakub (advisor)
Diplomová práce se zabývá možnosti kalibrace experimentálního testovacího zařízení. Zejména se věnuje návrhu termálního matematického modelu popisujícího tepelné procesy uvnitř zařízení v průběhu měření tepelné vodivosti vzorku. První část práce je věnována seznámení se s testovacím zařízením, jeho limity a principem měření. Popisuje řešení třetí verze testovací komory, společně s nezbytnými úpravami, provedenými za účelem zajištění předepsaných simulačních podmínek. Zmiňuje také potřebu a důvody kalibrace. Druhá část je především zaměřená na návrh kalibračních vzorků a termálního modelu. Uvádí definované požadavky a konečné vlastnosti vyrobených vzorků. Matematický model prezentuje postup výpočtu zjištěných tepelných ztrát a poukazuje na možnosti jejich zpřesnění. Testování kalibračních vzorků bylo provedeno na nově zprovozněné třetí verzi testovací komory. Naměřené výsledky poslouží k ladění termálního modelu, nezbytného k dokončení kalibračního procesu, který umožní přikročení k další fázi testování v experimentální komoře.
|
guest ::
