|
|
Determination of the occurrence of poor posture and muscle imbalance of female students aged 15-19 and possibilities of influencing that by elements of health physical education
Grundová, Michaela ; Prajerová, Květa (advisor) ; Prokešová, Eva (referee)
Title: Determination of the occurrence of poor posture and muscle imbalance of female students agend 15-19 and possibilities of influencing that by elements of health physical education. Objectives: The aim of this study is determination of change in posture and muscle imbalance due to regural health exercise for the period of 3 months Methods: Klein, Thomas and Mayer test method was used to determine posture of each proband. Functional tests of muscles with tendency to shorten were performed according to Bursová (2005), Hošková and Matoušová (2000), Pernicová et al. (1993). Functional tests of muscles with a tendency to become flabby were tested according to Hošková and Matoušová (2000). The method of theoretical analysis and synthesis was used for the chapter "Piece of knowledge" (Štumbauer, 1990). The chapter "Knowledge of data" was processed by Microsoft Office Excel. One-piece non-parametric Wilcoxon test was used to verify the results. Results: In the chapter "Results" we find detailed information about probands, which we have gained from the questionnaire and from a personal interview. Each proband is discussed and evaluated by means of testing posture and muscle imbalance. Keywords: posture, muscle imbalance, muscle balance, testing, tight muscles, flabby muscles, health physical education,...
|
|
|
Infrastructure for Testing and Deployment in the Field of Containers
Ormandy, Adam ; Lengál, Ondřej (referee) ; Turoňová, Lenka (advisor)
Znížená efektivita spôsobená robením repetitívnych a manuálnych prác je častým problémom v IT. Vývojári často testujú a nasadzujú svoj software manuálne, čo je nielen náročné na čas, nezáživné a náchylné k chybám. Táto práca sa snaží v rámci jedného DevOps tímu, vyriešiť tento problém pomocou zjednotenia vývojárskych a testovacích nástrojov, a pomocou aplikovania pricípov CI a CD do produkčného prostredia. Zároveň sa sústredí na software využívajúci Python, Jenkins a kontajnery. Hlavnými použitými nástrojmi sú GitLab CI, OpenShift a Tox. Vďaka tejto práci sa podarilo zvýšit počet projektov, ktoré používajú CI/CD zo 7 na 50 percent, zvrátiť rastúci trend v počte porušení štýlu v jazyku Python, opatriť kontajnery metadátami, zautomatizovať proces tvorby kontajnerov, ušetriť čas nerobením repetitívnych úloh a pod.
|
|
|
Generating of Testing Models from Source Code
Kraut, Daniel ; Malík, Viktor (referee) ; Smrčka, Aleš (advisor)
The aim of the masters thesis is to design and implement a tool for automatic generation of paths in source code. Firstly was acquired a study of model based testing and possible design for the desired automatic generator based on coverage criteria defined on CFG model. The main point of the master theis is the tool design and description of its implementation. The tool supports many coverage criteria, which allows the user of such tool to focus on specific artefact of the system under test. Moreover, this tool is tuned to allow aditional requirements on the size of generated test suite, reflecting real world practical usage. The generator was implemented in C++ language and web interface for it in Python language, which at the same time is used to integrated the tool into Testos platform.
|
|
|
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.
|
guest ::
