|
|
Zlepšení jemné motoriky po dvou měsících hippoterapie u dítěte s DMO
Kunzmannová, Eva ; Hráský, Pavel (vedoucí práce) ; Nováková, Pavlína (oponent)
Název: Zlepšení jemné motoriky po dvou měsících hippoterapie u dítěte s mozkovou obrnou. Cíle: Cílem práce je posouzení jaký efekt má dvouměsíční hipoterapie na jemnou motoriku dítěte s DMO. Metody: Pro výzkum jsem vybrala jednoho probanda, dívku ve věku 8,5. let. K nasbírání empirických dat měřené byla použita sada testů baterie MABC-2. Výsledky: Po zařazené dvouměsíční hipoterapie bylo zaznamenáno zlepšení v jemné motorice u dítěte s diagnózou DMO. Testování s baterií MABC-2 ukázalo, že zlepšení se nedostavilo pouze u jemné motoriky, ale také u hrubé motoriky a rovnováze dítěte. Závěr: Dvouměsíční hipoterapie dokáže pozitivně ovlivnit jemnou motoriku dítěte s DMO. Spolu s jemnou motorikou se prokázalo díky měření, pomocí baterie MABC-2, že zlepšení se projevilo i u hrubé motoriky a rovnováze. Klíčová slova: dítě a kůň, terapie, změny jemné motoriky, prevence, testová baterie
|
|
|
Efekt věku na úroveň technických dovedností a rychlosti brankářů ve fotbale.
Hlubuček, Daniel ; Kokštejn, Jakub (vedoucí práce) ; Bujnovský, David (oponent)
Název práce: Efekt věku na úroveň technických dovedností a rychlosti brankářů ve fotbale. Cíle práce: Cílem diplomové práce bylo zjistit možné rozdíly v úrovni technických dovedností a pohybové rychlosti u fotbalových brankářů napříč věkovými kategoriemi (11 - 19 let). Současně bylo cílem zjistit případné odlišnosti mezi brankáři z profesionálního a amatérského klubu. Metoda: Úroveň technických dovedností bylo zjišťováno za pomocí dvou specifických brankařských testů Sprint Keeper Test (S-Keeper test) a Laterl Shuffle-Keeper Test (LS-Keeper test). Pohybová rychlost byla zjišťována za pomocí sprintů 5 a 10m. Výsledky: Významný efekt věku na výkon v S-Keeper a LS-Keeper testu byl zjištěn mezi jednotlivými věkovými kategoriemi (p < 0,01; resp. p < 0,05). Významné rozdíly byly zjištěny mezi žákovskými a dorosteneckými kategoriemi vyjma rozdílu mezi staršími žáky a mladším dorostem v LS-Keeper testu (nedominantní noha). A dále pak nebyly zjištěny rozdíly mezi mladšími a staršími žáky a také mezi mladším a starším dorostem (v S-Keeper testu a LS- Keeper testu). V testech pohybové rychlosti 5m a 10m byly zjištěny významné rozdíly mezi všemi věkovými kategoriemi. V S-Keeper testu, LS-Keeper testu a sprintu na 5m a 10m dosahovali vždy lepších výkonů starší hráči. Naopak významné rozdíly nebyly zjištěny mezi...
|
|
|
Platforma pro ladění spínaných zdrojů
Zatloukal, Tomáš ; Bohrn, Marek (oponent) ; Pavlík, Michal (vedoucí práce)
Předkládaná práce se zabývá návrhem platformy, návrhem jejich výměnných modulů a obvodů pro jejich měření. Kompletní zařízení by mělo sloužit pro rychlejší návrh a ladění spínaných zdrojů. V práci jsou rozebrány základní topologie spínaných zdrojů, rozbor podpůrných obvodů a potřebné výpočty k realizaci. Na základě teoretických podkladů a zvolených parametrů bude vytvořen koncept zapojení, který bude následně ověřen zařízením, skládající se z hlavní desky, měnitelných modulů a měřicích obvodů.
|
|
|
Automatické testování projektu JavaScript Restrictor
Bednář, Martin ; Pluskal, Jan (oponent) ; Polčák, Libor (vedoucí práce)
Cílem této práce bylo navrhnout, implementovat a vyhodnotit výsledky automatických testů pro projekt JavaScript Restrictor, který je vyvíjen jako rozšíření do webových prohlížečů. Testy jsou rozděleny do tří úrovní - jednotkové, integrační a systémové. Jednotkové testy ověřují chování jednotlivých funkcí, integrační testy ověřují správné obalování koncových bodů rozhraní prohlížeče a systémové testy kontrolují, zda rozšíření nepotlačuje chtěnou funkcionalitu webových stránek. Systémové testy jsou implementovány pro paralelní spouštění na distribuovaném prostředí, čímž se podařilo dosáhnout téměř přímo úměrného snížení časové náročnosti vzhledem k počtu testovacích uzlů. Přínosem této práce je odhalení dosud neznámých chyb v rozšíření JavaScript Restrictor a poskytnutí potřebných informací, díky nimž bylo možné část zjištěných chyb již opravit.
|
|
|
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.
|
|
|
Fuzz Testing of REST API
Segedy, Patrik ; Rogalewicz, Adam (oponent) ; Malík, Viktor (vedoucí práce)
This thesis is dealing with fuzz testing of REST API. After presenting state-of-the-art of fuzzing and assessing the current research regarding REST API fuzz testing, we design and implement our REST API fuzzer. The proposed fuzzer infers dependencies of API calls defined in an OpenAPI specification and makes the fuzzing stateful. One of the features is minimization of the number of successive 404 responses while maintaining exploration of a deeper state space of a tested application. To solve the exploration vs. exploitation problem, we used the ordering of dependencies maximizing the probability of obtaining a needed input values and determining of fuzzability of a required parameters. The implementation is an enhancement of the Schemathesis project that is using the Hypothesis library to randomly generate inputs. Our fuzzer is evaluated against the Red Hat Insights application, finding 32 bugs. Amid them, one bug is reproducible only by a stateful set of steps.
|
|
|
Infrastructure for Testing and Deployment of the Real-Time Localization Platform
Ormoš, Michal ; Pluskal, Jan (oponent) ; Veselý, Vladimír (vedoucí práce)
This work is a case study of continuous integration and continuous deployment of real-time localization software. The objective of this thesis is to accelerate this process. The selected problem is solved with conventional testing tools, mechanisms of CI/CD Gitlab, and newly created tools for generating network traffic of real-time localization software. The contribution of this work is the acceleration of development, assurance of quality and at the same as the introduction of new methods on how to test real-time localization platforms.
|
|
|
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.
|
|
|
Application for OpenShift Plaform for Testing of Students Projects
Országh, Marián ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
The aim of this thesis is to design a service for automated requirements-based testing of student programming assignments, and thereafter implement this service using the OpenShift, Python and Git technologies. By creating such a service, a foundation is set for a unified testing process, which includes executing the test suites in separate Linux containers. Such a process is intended for simplification of the grading by teachers and teacher assistants, and at the same time improvement of student's performance in such tasks. This Master's thesis explains the basics of software testing, while focusing on requirements-based testing specifically. Furthermore, it provides insight into the container technology, as well as how these themes are applied in the project's design, and how they are reflected in the service's requirements. Afterwards, the implementation details of the service are put under examination in order to provide a reference material for any future extensions of the project. The implemented service allows for basic operations, including testing of multiple student projects in separate containers concurrently, creating a containerized debugging session, or automatically building a testing container image for a given assignment.
|
|
|
A Library for Detection of Semantic Properties of Tree Structures
Panov, Sergey ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Testing multicomponent systems in IT and IoT that process the streams of different messages is a complicated task. Why it is complicated? Because of the number of components, asynchronous interaction, different combinations of actions to test, test environment differs from the real environment and others. This thesis introduces an idea of how to generate complex input data for system testing while requiring minimum intervention from a developer. The test data generation is based on the analysis of traces of communication in a real system, and the reproduction of similar traces for testing purposes. The paper also proposes a framework for the initial analysis of messages transferred within the recorded communication. It can be solved using different abstract models: the message model, the communication model. The result of this work is the implemented library for creating a message model with a set of operations for working with this model.
|
host ::
RSS.