|
|
Automated Methods of Finding Bugs in Compilers
Müller, Petr ; Smrčka, Aleš (referee) ; Vojnar, Tomáš (advisor)
This thesis discusses an application of the fuzz testing method for testing compilers and interpreters. In the first part, it deals with compilers, optimizations, and bugs typical for an optimizing compiler. It analyzes applicability of static and dynamic analysis methods for searching such bugs and proposes dynamic fuzz testing as suitable for this task. A compiler testing tool suite using this method was implemented within this thesis and applied on several real compilers, including GCC, in which the tool revealed a series of bugs.
|
|
|
Automated Fuzz Testing of Applications Using D-Bus Communication System
Marhefka, Matúš ; Smrčka, Aleš (referee) ; Müller, Petr (advisor)
Tato práce se zaobírá použitím metody fuzzingu na testování aplikací komunikujících přes systém D-Bus. První část je zaměřená na seznámení s pojmem fuzzing a na využití této metody při testování aplikací. Následuje popis systému D-Bus a jeho architektury. V druhé části se práce zaobírá vhodným způsobem, jakým by se daly pomocí metody fuzzingu testovat aplikace komunikující přes systém D-Bus. V rámci práce byl implementovaný nástroj na testování aplikací, které využívají tento systém na meziprocesovou komunikaci. Při implementaci tohoto nástroje byl kladen důraz na to, aby s ním bylo možné otestovat co největší spektrum aplikací. Testování proběhlo na třech vybraných aplikacích - GNOME Shell , IMSettings a Evince . Ve dvou ze tří zmíněných aplikacích ( GNOME Shell , IMSettings ) byly nalezeny chyby, které způsobily jejich pád. Implementovaný nástroj taktéž detekoval úniky paměti v aplikaci IMSettings .
|
|
|
Nitrate Client Performance Improvement with Cache Implementation
Holec, Filip ; Letko, Zdeněk (referee) ; Müller, Petr (advisor)
The goal of the thesis is to design and implement performance improvements in python-nitrate module. Performance improvements are based on gathered use cases, which use large amount of data and network bandwidth. Performance test suite was implemented in order to measure impact of changes in module. Testing proved, that python-nitrate module with integrated performance improvements is in certain cases several times faster, but also can be slower in two cases. Discussion regarding possible extensions is present in the conclusion.
|
|
| |
|
|
Tolerable risk
Müller, Petr ; Vokoun, Rudolf (advisor) ; Bohuslav, Lukáš (referee)
1 Tolerable risk Abstract The theme of this diploma thesis is a tolerable risk (or allowable risk) as one of the circumstances excluding illegality in the Czech criminal law. The introductory chapter is devoted to the general principles of the circumstances excluding illegality, related institutes and to the ultima ratio principle meaning that criminal liability is a last resort. Furthermore, the individual circumstances excluding illegality and their mutual relations are examined, as we can observe similar or even identical building blocks between the circumstances definitions, which make them very similar to each other so that lay people are sometimes unable to distinguish them from one another. The following chapter deals with the tolerable risk itself - its history in Czechoslovakia and later Czechia until its explicit inclusion in the Criminal code from 2009, analysis of the current legal definition and details of individual elements that the Criminal code requires for undertaking a risk. It is also compared with foreign countries (Slovak and Polish) law, as these two states penal codes include similar articles about tolerable risk. Finally, the thesis deals with two specific fields of human activity which are frequently associated with tolerable risk - sport and health care. Pointed out are their...
|
|
|
Use of Hsp90 as a target of biological therapy of tumors
Bednárová, Kristína ; Bouchalová,, Pavla (referee) ; Müller, Petr (advisor)
Antibody-drug conjugates (ADCs) represent a relatively new class of highly potent anti-tumor drugs. Thanks to highly specific monoclonal antibodies, ADCs are able to deliver a cytotoxic payload directly to tumor cells and thus minimize damage to healthy cells. Therapeutic efficacy depends on the selection of an appropriate antigen that undergoes internalization upon conjugate binding. For this project, pro-oncogenic Hsp90 and c-Met were selected as potential targets. Hsp90 is a molecular chaperone that is overexpressed in tumor cells and, in addition, can be translocated to the membrane of these cells. Overexpressed Hsp90 contributes to angiogenesis, tumor cell motility or metastasis. C-Met is a receptor tyrosine kinase that plays a central role in epithelial morphogenesis and malignant transformation. Its increased activity induces pathways responsible for the proliferation, invasion and migration of malignant cells. The aim of the diploma thesis was to study the potential use of antibodies with anti-Hsp90 and anti-c-Met activities in anti-tumor therapy. The experimental part involved the purification of the EEV1-2.1 antibody with anti-Hsp90 activity and its subsequent characterization. Furthermore, it included the characterization and selection of anti-c-Met antibody clones. It was also focused on selection and optimization of the right conjugation strategy. The activity of the antibodies and their conjugates was examined by fluorescence microscopy and flow cytometry. In vivo experiments were further aimed at verifying the efficacy of ADC by monitoring the rate of inhibition of proliferation of selected tumor cell lines. The results revealed that the EEV1 antibody does not enter the cells specifically by antigen-mediated way, and is therefore not suitable for use in conjugation with a cytostatic drug. On the other hand, anti-c-Met antibody ADC conjugates exhibit high affinity for native antigen, internalization through antigen binding, and additionally inhibited proliferation of c-Met overexpressing OE33 cells.
|
|
|
Java Collections Performance Testing on Multicore Systems
Husar, Martin ; Müller, Petr (referee) ; Letko, Zdeněk (advisor)
This thesis deals with Java collections performance testing on multicore systems. The aim of the work is studying of core collections contained in Java Collection Framework and studying also some other collections from package java.util.concurrent and third-party project known as Javolution. The task was to suggest appropirate performance test for these collections and create based on its results a comparison. Afterwards the basic solution is an implementation of suggested tests in Java programming language and evaluation of achieved results.
|
|
|
Variations and other changes to public contracts under FIDIC standard forms
Müller, Petr ; Klee, Lukáš (advisor) ; Brodec, Jan (referee)
Variations and other changes to public contracts under FIDIC standard forms Abstract This thesis deals with variations and other change institutes according to the FIDIC Red Book (hereinafter referred to as "CONS") enforced under the Act No. 134/2016 Coll., On Public Procurement, as amended. The main aim of this thesis is to analyze the possibility to effectively implement complex construction projects in the Czech legal environment, especially with regard to the fact that individual complex construction projects deal with, in their implementation phase, the necessity to change the work, the price for the work, but also the time of completion and handover of a work due to unforeseeable or unforeseen circumstances. The law of public procurement, with reference to the principles of free competition and, in order to ensure the effectiveness of the management of public funds, limits the possibility of the public contract modifications by means of the doctrine of the substantial and non-substantial modification. Large construction projects often exceed the estimated value of the public contract by more than 100 %, which puts a great deal of pressure on the correct and lawful subsumption of changes under the legal grounds of modifications of the contract according to section 222 of the Act on Public Procurement....
|
|
|
Methodology of implementing a recommender system using the Soyka tool
Müller, Petr ; Gála, Libor (advisor) ; Fanta, Michal (referee)
This diploma thesis is focused on content personalization and specifically on recommender systems. The aim of the thesis is to propose a methodology of recommender system implementation in e-commerce using the IT tool Soyka. Functions of personalization tools which directly support recommender systems are identified on the basis of a theoretical description of recommender systems and their technological approaches. Based on these identified functions the tool Soyka is classified. The main contribution of the thesis is the created and published methodology which is ready to be used on real implementation projects by anyone involved.
|
|
|
Birth and formation of South Sudan
Müller, Petr ; Romancov, Michael (advisor) ; Daniel, Jan (referee)
This thesis deals with the formation and creation of the Republic of South Sudan. The general part of this thesis is focused on describing of basic institutes of internetational public law which are connected with the creation of sovereign state. These institutes described in the perspective of international law are the theoretical basis for the special part of this thesis which deals with factors that led to the creation, such as the matter of history, conception of state boarders in Africa and diversity of population of united Sudan. The main chapter is the chapter that deals with the will and motivation of international community, more accurately the will and motivation of the members of the United Nations Security Council or the will of the African union. On the basis of aforementioned factors the Republic of South Sudan was created. This creation however caused a lot of economical problems for Sudan and led to the birth of the state that has poor infrastructure, poor rate of literacy and poor level of health care etc. The aim of this thesis is to precisely define the motivation and will of actors in this area that led to the creation of the Republic of South Sudan and its early adoption to the UN and the African union.
|
guest ::
