|
|
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.
|
|
|
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.
|
|
|
Přesné heuristiky pro vkládání šumu v nástroji SearchBestie
Kozák, David ; Smrčka, Aleš (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce se zabývá efektivními způsoby testování vícevláknových programů psaných v jazyce Java. Pro zvýšení šance na odhalení časově závislých chyb se využívá techniky vkládání šumu, kdy dochází ke vložení dalších instrukcí do testované aplikace za účelem prozkoumání netypických proložení událostí. Pro nalezení vhodných konfigurací pro vkládání šumu byl navržen nástroj SearchBestie, který využíval nástroj ConTest pro spouštění testů a instrumentaci bytecodu. Jelikož vývoj ConTestu byl zastaven, bylo třeba najít vhodnou alternativu. V průběhu této bakalářské práce bylo dokončeno propojení SearchBestie s nástrojem RoadRunner, který ConTest nahradil. Dále došlo k navržení a implementaci nových heuristik, které umožňují šum vkládat na přesně zvolená místa v kódu. Experimenty prokázaly, že ve většině případů skutečně přesné heuristiky dosahují lepších výsledků než heuristiky využívající náhodnosti.
|
|
|
Indexing of Big Text Data and Searching in the Indexed Data
Kozák, David ; Smrž, Pavel (oponent) ; Dytrych, Jaroslav (vedoucí práce)
The topic of this thesis is semantic searching over big textual data. The goal is to design and implement a search engine that queries the semantically enhanced documents efficiently and has a user friendly interface for working with the results. Firstly, state of the art solutions along with their strengths and shortcomings are analyzed. Then a design for new search engine is presented along with a specialized query language. The system consists of components for indexing and searching the documents, management server, compiler for the query language and two clients, web based and command line. The engine has been successfully designed, developed and deployed and is available via the Internet. As a result of that, the possibility of using of the semantic searching is available to a wide audience.
|
|
|
Inductive Controller Synthesis for POMDPs with Respect to Steady-State Properties
Jarolím, Antonín ; Kozák, David (oponent) ; Češka, Milan (vedoucí práce)
This thesis considers the problem of synthesizing finite-state controllers (FSC) for partially observable Markov decision processes wrt. steady-state properties. The set of candidate FSCs (design-space) is explored using state-of-the-art synthesis methods. The Abstraction-Refinement (AR) method prunes the design-space by considering families of FSCs at once. The novel algorithm generating counter-examples regarding steady-state properties using principles of the counterexample-guided inductive synthesis method is proposed. The experimental evaluation compares the AR method with a one-by-one exploration. It shows that the AR method is faster by orders of magnitude in all but one example, where the low transition rates reduced the speed of the AR method. No other tool is capable of performing such synthesis, so a comparison with other approaches is not available.
|
|
|
Problematika antagonismu haličského rolnického a krakovského povstání v roce 1846
Kozák, David ; Stellner, František (vedoucí práce) ; Valkoun, Jaroslav (oponent)
(česky) V bakalářské práci budou zkoumány příčiny porážky krakovského povstání za nezávislost polského státu, primárně selhání snahy polských povstalců získat pro svou věc podporu haličských rolníků. Práce se zaměří na rozbor politického programu povstalců, přičemž zásadní pozornost bude věnována řešení agrární otázky a sociálního postavení rolnictva, a poté na zvolených příkladech objasní klíčové příčiny neúspěchu o navázání spolupráce s rolníky. Cílem práce je nastínění ideologického programu krakovského povstání a popis okolností vedoucích k jeho selhání. Informace a podklady pro práci budou čerpány ze studia vydaných pramenů a z příslušné odborné literatury primárně polské provenience. Klíčová slova (česky) 1846, Svobodné město Krakov, Halič, Polská demokratická společnost, Agrární otázka
|
|
|
Indexing of Big Text Data and Searching in the Indexed Data
Kozák, David ; Smrž, Pavel (oponent) ; Dytrych, Jaroslav (vedoucí práce)
The topic of this thesis is semantic searching over big textual data. The goal is to design and implement a search engine that queries the semantically enhanced documents efficiently and has a user friendly interface for working with the results. Firstly, state of the art solutions along with their strengths and shortcomings are analyzed. Then a design for new search engine is presented along with a specialized query language. The system consists of components for indexing and searching the documents, management server, compiler for the query language and two clients, web based and command line. The engine has been successfully designed, developed and deployed and is available via the Internet. As a result of that, the possibility of using of the semantic searching is available to a wide audience.
|
|
|
Přesné heuristiky pro vkládání šumu v nástroji SearchBestie
Kozák, David ; Smrčka, Aleš (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce se zabývá efektivními způsoby testování vícevláknových programů psaných v jazyce Java. Pro zvýšení šance na odhalení časově závislých chyb se využívá techniky vkládání šumu, kdy dochází ke vložení dalších instrukcí do testované aplikace za účelem prozkoumání netypických proložení událostí. Pro nalezení vhodných konfigurací pro vkládání šumu byl navržen nástroj SearchBestie, který využíval nástroj ConTest pro spouštění testů a instrumentaci bytecodu. Jelikož vývoj ConTestu byl zastaven, bylo třeba najít vhodnou alternativu. V průběhu této bakalářské práce bylo dokončeno propojení SearchBestie s nástrojem RoadRunner, který ConTest nahradil. Dále došlo k navržení a implementaci nových heuristik, které umožňují šum vkládat na přesně zvolená místa v kódu. Experimenty prokázaly, že ve většině případů skutečně přesné heuristiky dosahují lepších výsledků než heuristiky využívající náhodnosti.
|
|
| |
|
| |
host ::
RSS.