|
Automata in Software Verification and Testing
Hruška, Martin ; Rezine, Ahmed (referee) ; Kofroň, Jan (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá aplikacemi teorie automatů v zajištění kvality software. V první části se zabývá aplikací automatů v tzv. analýze tvaru, kterou lze využít pro formální verifikaci programů pracujících s dynamickými datovými strukturami. Konkrétně představuje rozšíření analýzy tvaru založené na lesních automatech o zpětný běh analýzy přes řádky programu, které se objeví v potenciálním protipříkladu a zjemnění abstrakce založené protipříkladech. Dále je v práci představena nová doména pro analýzu tvaru a to automaty nad grafy s omezenou stromovou šířkou. Ty jsou obecnější než lesní automaty, ale zároveň výpočetní složitost algoritmů s nimi pracujících je použitelná. V druhé části se zabýváme automatizovaným testováním výrobních informačních systémů v prostředí digitálního dvojčete. Představujeme metodu, která dokáže orchestrovat digitální dvojče tak, aby reprodukovalo reálné prostředí, v němž bývají zmíněné systémy nasazeny. To poskytuje bezpečné prostředí testování výrobních informačních systémů. Navíc jsme metodu rozšířili o možnost tvorby nových testovacích scénářů nad rámec pouhé reprodukce již pozorovaného chování reálného prostředí, a tak zvýšili kvalitu testovacího procesu.
|
| |
|
Molecular simulation of Lennard-Jones fluid as a task for physical chemistry laboratory
Krieger, Jakub ; Košovan, Peter (advisor) ; Kolafa, Jiří (referee)
Molecular simulations are capable of reproducing and predicting the behavior of real systems using a simplified model. Over the past 70 years, thanks to the rapid development of computers, this method has become an important part of various scientific fields. Thanks to their speed and low cost, molecular simulations can work hand in hand with a real experiment and in some cases even replace it. The didactics of this progressive method are in its beginnings at the Faculty of Science of Charles University, and its teaching is limited to master's and higher studies. In this work, we created and tested a task for physical chemistry laboratory, which can serve as a first introduction to molecular simulations for undergraduate chemistry students. The task, written in the interactive Jupyter Notebook environment, was designed based on modern pedagogical approaches of inquiry based learning, supplemented by a high level of scaffolding due to the complexity of the teaching content. The choice of simulating the model of supercritical argon described by the Lennard-Jones potential was based on the requirement for conceptual simplicity and the possibility of connection with already known concepts. Testing of the task on 12 students made it possible to create a time schedule, correct errors, identify the most common...
|
|
Comparison of motor skills of basketball players across categories using the Illinois Agility Test
Vilím, Jan ; Jurková, Kateřina (advisor) ; Kočíb, Tomáš (referee)
Title: Comparison of movement abilities of Basketball Players Across Categories Using the Illinois Agility Test. Objectives: The aim of this bachelor's thesis is to explore in depth the theory of movement abilities development in young athletes. Subsequently, through testing, it seeks to determine and compare the level of these abilities across basketball categories U14-U19. Methods: The research involved 58 players across different categories (U14- 15 players, U15- 14 players, U17- 15 players, U19- 15 players). The standardized Illinois agility test was used to obtain the necessary data. Results: The results of this study indicate that there are statistically significant differences in performance among the different age categories in the given motor skills test. Furthermore, all obtained results were compared with the normative values of the test used. We concluded that the results of 44 participating players were classified as average, 12 players as above average, and only 2 tested individuals performed at a below-average level. Keywords: basketball, basketball players, comparison, movement abilities, testing, Illinois Agility test
|
|
Compensation of muscular imbalances in girls of older football preparation team
Mašek, Michal ; Nováková, Pavlína (advisor) ; Hráský, Pavel (referee)
7 Abstract Title: Compensation of muscular imbalances in girls of older football preparation Objectives: The main objective of this study was to determine which muscle imbalances are most common in girls of the older football team (WU11) SK Slavia Praha and to create a simple compensatory program that can be easily applied in practice. The next goal is to compare the results of input and output measurements, where any improved performance should reflect the effectiveness of the compensatory program (exercise). Methods: The thesis is theoretical and empirical in nature. It is a professional work, a pilot study with the characteristics of a quasiexperiment. The design of the thesis is conceived as an entry test - intervention (compensatory exercise) - re-test (exit test). The tests were: the Matthias test, the Trendelenburg test, the Sit and reach test, the hip flexor shortening muscle test and the diaphragm test. The compensation programme was carried out over a period of 6 months. The study was conducted on 19 girls (10-11 years) from the football club SK Slavia Prague, category WU11. Results: From the exit testing we found that there was an improvement in the results of most probands in each test. The greatest improvement was noted in the Matthias test and the Trendelenburg-Duchenne test, which assesses...
|
|
Correlation of selected fitness indices and performance in throwing disciplines
Drábková, Eliška ; Jebavý, Radim (advisor) ; Vostatková, Pavlína (referee)
Author: Eliška Drábková Title of the bachelor's thesis: Correlation of selected fitness indices and performance in throwing disciplines Supervisor: PhDr. Radim Jebavý, Ph.D. Year of the presentation: 2024 Objectives: To determine the minimum limit values for speed-power fitness tests in Czech performance female throwers. Methods: First, in our bachelor's thesis we applied a comparative analysis regarding fitness tests in throwing disciplines. Subsequently, we focused on the use of a quantitative method of questioning, when we mainly examined the level of speed-strength fitness tests of individual test subjects by means of a survey. The basic rules for the selection of the subjects were related to age (from 19 years old), a minimum of 650 points in the IAAF scoring tables and a minimum of 4 years of competition experience. We also defined the term "female representative" according to the established limits of the U19 SCM representation. We created bar graphs for individual speed-power fitness tests and established the limit level for Czech female throwers according to two criteria: the recommended limit given in the German literature (Killing a kol., 2011; Strüder a kol., 2017) and the test values found above the average of all Czech female throwing disciplines. Results: The correlation between selected...
|
|
Assessment of body composition and physical fitness using the ALPHA test battery
Husovská, Andrea ; Jandová, Soňa (advisor) ; Bunc, Václav (referee)
The present thesis deals with the influence of body composition on physical fitness. The thesis deals with the issue of increasing prevalence of obesity in children and adolescents. The aim of the thesis is to assess physical fitness in older school-aged children using a validated test battery and to determine the association of physical fitness in these children with their body composition. A total of 52 pupils aged 12-14 years were tested, of whom 34 were girls and 18 were boys. We used a modified Assessing levels of physical activity (ALPHA) test battery to determine the physical fitness of the children and adolescents. We also used a questionnaire survey to determine anthropometric parameters relevant to body composition. For the actual measurement, we used three skinfold measurements, dynamometry, Unifittest (6-60). F-test was used to calculate statistical significance of differences and Cohen's d was calculated to calculate substantive significance. The results showed that girls had higher amount of subcutaneous fat than boys. There was no difference in body weight and body height between girls and boys. Compared to boys, girls had a lower mean time spent in physical activity outside physical education. In conclusion, body composition has a great influence on physical fitness in older...
|
|
Influence of athletics training on physical ability of 13 years old pupils
Holcová, Tereza ; Kašpar, Ladislav (advisor) ; Teplý, Lukáš (referee)
The aim of the practical part of this baccalaureat thesis is to find out, if athletic training has and impact on physical ability of athletes at the age of 13, in comparison with the standards set by the Manual for manual and computerized assessment of basic motor performance and selected characteristics of the body structure of youth and adults in the Czech Republic, but also towards pupils who are attending other sport events or do no not play any sports at all. The UNIFITTEST test batery was used. It tests children in foru disciplines. The collected data were tabulated and then evaluated based on the above objectives. The theoretical part is devoted to the characteristics of physical fitness and ist components. It also touches on body composition, obesity and underweight. It characterizes the older school age and brings us closer to the athletics training of this age group.
|
|
Network interface card performance testing
Karabelly, Jozef ; Nagy, Peter (referee) ; Grégr, Matěj (advisor)
Táto práca sa zaoberá významom testovania výkonnosti sieťových kariet (NIC) v inžinierstve sietí, najmä pre systémy používajúce moderné jadro Linuxu, v dôsledku rastúcej priepustnosti sietí a expanzie viacjadrových procesorov. Vyvíja škálovateľné a prispôsobiteľné testovacie scenáre pre testovanie NIC, ktoré zohľadňujú zložitosť rýchlo sa vyvíjajúceho hardvéru a softvéru a smerujú k stabilným, reprodukovateľným výsledkom v rôznych scenároch. Výskum zahŕňa analýzu akcelerácie sieťových mechanizmov jadra Linuxu, použitie nástrojov kontinuálnej integrácie pri objemnom testovaní a dôkladné preskúmanie hardvérových konfigurácií. Účinnosť testovacích scenárov je validovaná rozsiahlým testovaním na presne definovanom testovacom prostredí, čo zlepšuje pochopenie a optimalizáciu výkonnosti NIC v komplexných sieťových systémoch založených na Linuxe.
|
|
Comparator of Test Results
Čerbák, Patrik ; Kozák, David (referee) ; Smrčka, Aleš (advisor)
Tato bakalářská práce se zaobírá tématem testování OpenJDK ve firmě Red Hat a jak toto testování zefektivnit. Jeden z hlavních problémů při testování je porovnání, zda určitý test spadl pouze na jedné variantě testovací sady nebo na více variantách (jedna testovací sada se stejnými testy má mnoho variant – liší se například v operačních systémech, běhové architektuře, atd.). Kvůli tomuto je v této práci navrhnut a implementován nástroj pro porovnávání výsledků testů právě na odlišných varintách jedné testovací sady. Tento nástroj je implementován v programovacím jazyce Java a může běžet samostatně jako CLI program nebo ve speciálním webovém prostředí. Tento komparátor je zároveň součástí takzvaného Jtreg pluginu, což je open source rozšíření do nástroje Jenkins, které se používá v OpenJDK QA týmu firmy Red Hat. Samotný nástroj umožňuje spoustu věcí, například filtrování testovacích sad pro porovnání, vytvoření porovnávací tabulky spadlých testů, tabulky s podobností stack trace spadlých testů nebo třeba tabulky porovnávající výsledek sestavení jednotlivých testovacích sad.
|