|
|
Uživatelské rozhraní nástroje Combine
Nenutil, Patrik ; Rozsíval, Michal (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této bakalářské práce je vytvořit nové uživatelské rozhraní pro nástroj Combine, protože stávající bylo vytvořeno pouze jako prototyp pro ukázku práce s nástrojem. Nově vytvořené uživatelské rozhraní umožňuje využívání datových sad a zjednodušených zápisů kritérií. Také byly opraveny nedostatky podle nastudovaných principů. Pro kontrolu správnosti implementace byly vytvořeny automatické testy grafického uživatelského rozhraní. Výsledkem této práce je vylepšené uživatelského rozhraní pro nástroj Combine.
|
|
|
Zpětná extrakce Stateflow diagramu z kódu v jazyce C
Gavenda, Daniel ; Smrčka, Aleš (oponent) ; Fiedor, Jan (vedoucí práce)
Simulink diagrams are widely used in industry, where they are used to specify control systems. The specific block used in them is the Stateflow diagram. The specified systems are often critical from the point of view of security, therefore the question of the correctness of the implementation of these systems is important. In this work, we will focus on the design, description and creation of a tool for the reverse reconstruction of the Stateflow diagram from the optimized code in the C language in order to prove the functional equivalence between the model and its corresponding code. Next, a created set of models representing models with Stateflow diagrams and codes generated from them is created, using several optimizations. The created tool will be tested on this set, it can also be used to evaluate other Stateflow analyzes and/or C code.
|
|
|
Efektivnost datových strukur v implementaci automatů
Koval, Milan ; Smrčka, Aleš (oponent) ; Holík, Lukáš (vedoucí práce)
This Thesis focuses on optimazing the library Mata, that is curently the leader in performance it the fieal operations on automatas. Sygnificant performance increase is achived with the use of a modified linear allocator, using the append-only represetattion of an automata allows for blazing fast construction and blazing fast memery acces owning to resulting spatial locality. The findings of this thesis is not only faster already fastest library Mata but also the viability of linear allocaotors as a more common practice in append only structures, espessialy in performance critical uses.
|
|
|
Grafické rozhraní pro nástroj NetLoiter
Ščupák, Marian ; Smrčka, Aleš (oponent) ; Rozsíval, Michal (vedoucí práce)
Cílem této práce je vytvořit grafické uživatelské rozhraní, které zjednoduší práci s nástrojem NetLoiter. Pro implementaci uživatelského rozhraní byla zvolena forma webové aplikace. Vytvořené uživatelské rozhraní umožňuje uživateli vyplňovat formuláře, které jeho vstup validují a převádí na konfigurační soubory. Vytvořené konfigurace mohou být využity pro spuštění nástroje NetLoiter prostřednictvím protokolu SSH a následné monitorování výstupu v přívětivé podobě v reálném čase. Rozhraní také poskytuje uživatelům možnost provádět základní statistické analýzy nad daty generovanými nástrojem NetLoiter. Výsledkem práce je zvýšená efektivita správy nástroje NetLoiter a snadnější interpretace jeho výstupů.
|
|
|
Comparator of Test Results
Čerbák, Patrik ; Kozák, David (oponent) ; Smrčka, Aleš (vedoucí práce)
This bachelor's thesis deals with the topic of OpenJDK testing in Red Hat and how to make this testing more efficient. One of the main problems when testing is comparing whether a particular test failed on only one variant of a test suite or on multiple variants (one test suite with the same tests has many variants – they differ, for example, in operating systems, runtime architecture, etc.). Because of this, in this thesis, a tool is designed and implemented to compare test results on different variants of a test suite. This tool is implemented in the Java programming language and can run standalone as a CLI program or in a dedicated web environment. This comparator is also part of a so-called Jtreg plugin, which is an open source plugin to Jenkins that is used by the OpenJDK QA team at Red Hat. The tool itself allows you to do a lot of things, such as filtering test suites for comparison, creating a failed tests comparison table, a failed tests stack trace similarity table, or a table comparing the build result of individual test suites.
|
|
|
Nástroj pro generování testovacích cest dle zadaného kritéria
Bíl, Jan ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Automatické generování testovacích vstupů dle zadaného kritéria pokrytí má potenciál ušetřit velkou část nákladů při vývoji kritických aplikací. V rámci této práce byl navržen a naimplementován nástroj, který postupně generuje cesty grafem toku řízení odpovídající funkcím takové aplikace, které splňují zadané kritérium pokrytí. Tyto cesty převádí na odpovídající SMT (Satisfiability Modulo Theories) formuli pro kterou se ověří její sémantická splnitelnost SMT řešičem Z3. Pro sémanticky splnitelné cesty je zároveň vygenerováno ohodnocení vstupů, pro které formule platí. Tato ohodnocení dohromady tvoří sadu testovacích vstupů splňující zadané kritérium pokrytí. Tyto testovací vstupy jsou hodnoty parametrů testované funkce a stavu globálních proměnných.
|
|
|
Rezervační systém sportoviště
Remeň, Juraj ; Křena, Bohuslav (oponent) ; Smrčka, Aleš (vedoucí práce)
The aim of the bachelor thesis is the digitalization of the sports ground booking agenda, primarily based on the requirements of TJ Ochoz u Brna, but the system is also applicable to other small or medium-sized sports clubs. The system is intended to make the timetable of sports grounds in the municipality more transparent, to facilitate the creation of bookings for the sports grounds in question for the residents and to relieve the responsible persons from maintaining and using different systems for managing bookings, such as various Google or Excel spreadsheets or writing them down on plain paper.
|
|
|
Extension of the tmt Tool for Reporting through the ReportPortal API
Bubáková, Natália ; Pavela, Jiří (oponent) ; Smrčka, Aleš (vedoucí práce)
This Bachelor’s thesis provides insight into testing processes practiced across teams at Red Hat and describes a new testing infrastructure proposed to improve testing workflow within the company. With this infrastructure serving as the main motivation for the assignment, the work targets several use cases of report functionality resulting from the integration of the Test Management Tool commonly known as tmt and the reporting platform ReportPortal. It examines both of these tools, analyses alternative approaches, and proposes an implementation of a tmt plugin that integrates seamlessly with ReportPortal, via its REST API. The focus of the thesis encapsulates all steps behind a community-driven project, closely examining detailed aspects of design, implementation, and testing of all requested features of the plugin that actively resides within the tmt open-source project.
|
|
|
Improving the GraalPy interpreter
Hrbáč, Adam ; Smrčka, Aleš (oponent) ; Kozák, David (vedoucí práce)
GraalPy is a Python implementation for the Java Virtual Machine, designed for easy embedding into Java applications. Such embedding is primarily useful for adopting 3rd party Python packages in existing Java codebases. GraalPy also often has greater performance compared to CPython, the canonical implementation of Python. This work implements two major features. First, the async API, one of the last major missing Python features in GraalPy, used primarily for web development, allowing writing concurrent code without parallelism, using so-called colored async, where each context switch point must be explicitly annotated. It is composed of two major parts, a library providing an event loop, asyncio in this work, as well as the syntactic components of Python, providing the way with which to indicate context switches. The second feature is the tracing API, a CPython API for implementing Python debuggers, used by integrated debuggers in IDEs, coverage tools, etc. It works by analyzing the Python bytecode in order to determine whether a new line is being executed, and if so, invokes a registered callback. This callback is also used when returning a value, calling a function and raising an exception, allowing a debugger to set a breakpoint for these events. Both features are part of the GraalPy releases and have had a notable benefit to compatibility with 3rd party packages.
|
|
|
Podpora Kubernetes pro Quarkus QE Test Framework
Troitskii, Georgii ; Smrčka, Aleš (oponent) ; Rogalewicz, Adam (vedoucí práce)
Tato práce se zaměřuje na vylepšení open-source projektu Quarkus QE Test Framework, určeného pro testování aplikací postavených na frameworku Quarkus. Cílem je přidání podpory pro automatozovane spuštění testů na platformě Kubernetes. K dosažení tohoto cíle do virtuálního stroje na platformě OpenStack byl nainstalován cluster Kubernetes. Pomocí pluginu pro GitHub Pull Request Builder byla zřízena integrace mezi Jenkins a GitHub CI v Quarkus QE Test Frameworku. Tato integrace umožňuje automatické spouštění testů v Kubernetes při vytváření Pull Requestů na GitHubu po zadání specifické fráze do Pull Requestu. Toto řešení umožňuje plně automatizované spouštění testů v Kubernetes jako součást GitHub CI pipeline, čímž rozšiřuje seznam externich platform, na kterych tým Quarkus QE testuje aplikace Quarkus.
|
host ::
RSS.