|
|
Server for Continuous Integration
Šajdík, Michal ; Fiedor, Tomáš (referee) ; Lengál, Ondřej (advisor)
Tato práce obsahuje popis následujících témat: jaké technologie a principy jsou potřebné pro vytvoření kontinuálního integračního serveru, již existující řešení, proč je potřeba jeden vytvořit a jak integrovat kontinuální integrační server, který byl vytvořen během této práce, na základě informací uvedených v této práci, do pracovního prostředí. Tato práce také ukazuje efekty a některé vedlejší účinky způsobené správnou a nesprávnou konfiguraci uvedeného serveru pro kontinuální integraci. Uvedený server pro kontinuální integraci je také schopen běžet na MS Windows 10 a Linuxu, aniž by bylo nutné přizpůsobit konfiguraci pro konkrétní operační systém.
|
|
|
Automated Synthesis of Tree Structures from Real Data
Želiar, Dušan ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
This masters thesis deals with analysis of tree structure data. The aim of this thesis is to design and implement a tool for automated detection of relation among samples of read data considering their three structure and node values. Output of the tool is a prescription for automated synthesis of data for testing purposes. The tool is a part of Testos platform developed at FIT BUT.
|
|
|
Automatic Generation of Test Cases from Data-Flow
Kraut, Daniel ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
This thesis deals with automatic generation of test cases on Unit testing level for source codes in C language. In order to achieve automatization are used methods of approach to software as a Data-flow of variables. There is outlined a process of creating tests here as well as a function of CSP solvers which are necessary part of solving this problems. Static code analysis is accessed with LibTooling libraring as part of a compiler front-end project Clang. Output of a developed application are provided here which is automatically generated input values for test cases.
|
|
|
An Assistant for Generating Test Suites
Červinka, Radim ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
This bachelor's thesis aims to create a web application that helps testers to perform combinatorial testing. Application called Combine generates a test set (if specified, it also generates specific parameter values into the test set) that satisfies given T-Wise coverage. This thesis describes, what is T-Wise testing and how to create a test set covering given criterion. It also focuses on the IPOG algorithm and it's implementation in Combine application.
|
|
|
Synthesizing Non-Termination Proofs from Templates
Martiček, Štefan ; Fiedor, Tomáš (referee) ; Vojnar, Tomáš (advisor)
Jednou z nejsložitěji verifikovaných vlastností programů v oblasti formální analýzy je živost. K jedné z metod ověřujících tuto vlastnost patří i dokazování neukončitelnosti programů. Naše práce popisuje návrh a implementaci dvou algoritmů ověřujících neukončitelnost. Inspirujeme se již existujícími přístupy, jako jsou rekurentní množiny a nadaproximace cyklů s využitím invariantů ve tvaru rekurentních relací. Hlavní výzvu pro nás představovalo přizpůsobení těchto algoritmů SSA (single static assignment) reprezentaci použité v 2LS a jejich celková integrace v našem frameworku. Vzpomínané přístupy se nám podařilo spojit do analýzy neukončitelnosti, která dosahuje nejlepší výsledky v porovnání s existujícími nástroji, které byly srovnané na soutěži SV-COMP 2017.
|
|
|
Library for Profiling of Data Structures of C/C++ Programs
Pavela, Jiří ; Rogalewicz, Adam (referee) ; Fiedor, Tomáš (advisor)
Performance bugs may greatly affect the quality of the system being developed and even cause irreversible damage in some critical sectors. Hence profiling - one of the currently most widespread technique of performance analysis - is usually applied to find the bugs. However, most of the current solutions commonly lack comprehensible graphical outputs and detailed analysis of algorithms in regard to their complexity. This thesis introduces a novel profiling tool which focuses on automatic estimation of complexity of dynamic data structures. The proposed approach collects statistical data out of program runs and uses regression analysis to find the most accurate model serving as an estimate of algorithmic complexity. The resulting prototype was subjected to a series of experiments that evaluate the accuracy of the results, demonstrate practical uses and illustrate the graphical output of the tool.
|
|
|
Firefox OS Application for Learning Languages
Chudík, Jakub ; Fiedor, Tomáš (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá vytvořením aplikace pro výuku jazyků specificky pro mobilní operační systém Firefox OS. Vzhledem k své povaze, uživatelské rozhraní aplikace se snaží uspokojit ergonomické potřeby aplikací určených pro kapesní zařízení. Aplikuje několik konceptů gamifikace ke zlepšení procesu učení, jehož výsledky jsou prezentovány a vyhodnoceny. Aplikace také přináší své vlastní jedinečné vlastnosti, které jí pomáhají vyniknout mezi ostatními aplikacemi pro výuku jazyků.
|
|
|
Summary Administration of Virtual Machines in the OVirt Project
Macko, Samuel ; Fiedor, Tomáš (referee) ; Rogalewicz, Adam (advisor)
This thesis tackles the idea of virtualization and virtual machines. Theoretical part covers basics of virtualization from various aspects. It introduces a concept of virtualization and various architectures used to achieve it. The thesis also examines most popular implementations of mentioned architectures as well as commercially available virtualization solutions using those implementations. The aim of its practical part is to design and implement desktop application for administrator level overview over virtual environment running on oVirt. The main goal is to solve some of its known issues regarding accessibility of its data.
|
|
|
Active Directory Management Dashboard
Radimák, Samuel ; Křena, Bohuslav (referee) ; Fiedor, Tomáš (advisor)
This thesis is focused on the main concepts of Active Directory and the creation of an application allowing basic management tasks. It introduces the logical as well as physical components and provides an overview of existing servers that are using the services of Active Directory. The functionality of existing management applications is discussed and desired properties of management applications are discovered. On these grounds, a new application concept is introduced and the benefits of the new application over the existing ones is shown. According to the concept, a new application is developed supporting the management of users and groups and implementing additional features such as profile photo editing and a definition of customized object creation process. This application is also tested on different levels and possibilities of future improvements are given.
|
|
|
Towards Parameterized Contract Validator in ANaConDA Framework
Mužikovská, Monika ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
This work deals with problematics of contracts for parallelism. It is a technique allowing to specify requirements for atomicity in parallel programs and to create automatic tools for detection of atomicity violation. ANaConDA framework provides dynamic analyser called Contract-validator which can detect contract violations in parallel programs. However, due to analysis without context, it can produce a lot of warnings about contract violation that are not considered as errors. The aim of this work was to design and implement a method supporting contracts extended with parameters and their constraints which will lead to more accurate results of the analysis. Experiments using newly created analyser on a set of benchmarks with known atomicity violations showed that analysis with parameters can reduce the results by dozens of reports that unnecessarily burdened developers and made it harder to reveal real errors.
|
guest ::
