|
|
Continuous Integration and Automated Code Review in Open Source Projects
Tóth, Adrián ; Kočí, Radek (referee) ; Turoňová, Lenka (advisor)
Kvůli zvýšení popularity projektů s otevřeným zdrojovým kódem se adaptovala nová softwarová metodologie, která se stále vyvíjí. Tato bakalářská práce se zabývá touto adaptovanou agilní softwarovou metodologií, přesněji její průběžnou integrací a vylepšením ve skutečném praktickém nasazení. Kromě toho se práce zabývá také automatizací procesu kontroly kódu zejména jeho statickou analýzou. Cílem práce je popsat a vysvětlit, jak průběžná integrace a automatizovaná kontrola kódu ovlivňují a zlepšují moderní projekty s otevřeným zdrojovým kódem. Vzhledem k výzkumu byl navrhnut a integrován moderní typ kódové analýzy s dalšími vylepšeními.
|
|
|
Automatic Seccomp Syscall Policy Generator
Tamaškovič, Marek ; Smrčka, Aleš (referee) ; Turoňová, Lenka (advisor)
Táto práca sa zaoberá návrhom a implementáciou nástroju na preklad zoznamu systémových volaní do politiky obmedzujúcej systémové volania v rámci operačného systému GNU Linux. Motivácia pre takýto nástoj je automatizovať tvorbu bezpečnostných politík. V práci je riešený spôsob interpretovania zoznamu systémových volaní v programe. Taktiež spôsob ako optimalizovať a minimalizovať danú dátovú štruktúru. Na to boli použité tri algoritmy. V jednom prípade bol použitý algoritmus minimax a v tom druhom bol použitý zhlukujúci algoritmus DBSCAN. V poslednej časti tejto práce je riešená metodika testovania nástroja a to testovanie modulov či programu ako celku. Počas testovania sa vyskytli komplikácie, ktoré bránili v komplexnom testovaní vytvoreného nástroja.
|
|
|
Modern TreeView Component for the Web
Berky, Levente ; Smrčka, Aleš (referee) ; Turoňová, Lenka (advisor)
Tato práce se zabývá tvorbou webové komponenty k zobrazení hierarchické struktury ve tvaru stromu. Práce zkoumá aktuální situace webu a webových komponent, vyšetřuje podobné "tree view" komponenty a popisuje základy v nich použitých technologií. Praktická část popisuje požadavky na navrhovanou komponentu a zabývá se procesem vývoje a samotné implementace. Dále je popsán proces testování a měření výkonu a jejich výsledky.
|
|
|
Detectors of Structured Data for Generating Test Data
Znojil, Ondřej ; Turoňová, Lenka (referee) ; Smrčka, Aleš (advisor)
This works is focused on design and implementation of utility for analysis of structured data of often used formats as JSON or XML. Utility is one of many components of Testos platform, which is set of testing utilities, communicating with each other. Primary goal of this thesis is creation of analysator for the prupose of testing. Utility is used to aggregate input data, determine occurence of each data entity and abstraction of its scalar values.
|
|
| |
|
|
Remote API Web Reference for Java Enterprise Applications
Krpec, Ondřej ; Turoňová, Lenka (referee) ; Kočí, Radek (advisor)
Tato diplomová práce popisuje testování REST API rozhraní aplikací. Výsledkem práce je aplikace Restty, založená na použití nástroje Swagger, která umožňuje testovat jednotlivé části API aplikací, i vytvářet a spouštět komplexní testovací scénáře nad daným rozhraním. Teoretická část práce vysvětluje principy webových služeb, vzdálených rozhraní a představuje nástroj Swagger i technologie použité k implementaci. V následující kapitole jsou v práci prezentovány designové návrhy aplikace, na které plynule navazuje kapitola o implementaci a testování, pro které je zvoleno rozhraní nástroje Red Hat JBoss BPM Suite. V závěru práce jsou vyhodnoceny přínosy aplikace Restty a navrženy případné budoucí rozšíření.
|
|
|
Frequency and Transient Responses Based on Differential Equations
Turoňová, Lenka ; Kunovský, Jiří (referee) ; Šátek, Václav (advisor)
This bachelor thesis deals with the investigation of amplitude and phase frequency responses of linear electrical circuits. It compares classical methods of investigation using a symbolic-complex method with investigation using differential equations. For graphical representation of the responses in the case of the symbolic-complex method there was used for demonstration of examples programs MATLAB and Maple. The aim of this work was also to create graphical user interface over TKSL/C, which allows input of differential equations and plotting amplitude and phase frequency responses.
|
|
|
Coverability for Parallel Programs
Turoňová, Lenka ; Vojnar, Tomáš (referee) ; Holík, Lukáš (advisor)
This work is focusing on automatic verification of systems with parallel running processes. We discuss the existing methods and certain possibilities of optimizing them. Existing techniques are essentially based on finding an inductive invariant (for instance using a variant of counterexample-guided abstract refinement (CEGAR)). The effectiveness of these methods depends on the size of the invariant. In this thesis, we explored the possibility of improving the methods by focusing on finding invariants of minimal size. We implemented a tool that facilitates exploring the space of invariants of the system under scrutiny. Our experimental results show that many practical existing systems indeed have invariants that are much smaller than what can be found by the existing methods. The conjectures and the results of the work will serve as a basis of future research of an efficient method for finding small invariants of parallel systems.
|
guest ::
