|
|
Detektory strukturovaných dat pro účely testování software
Znojil, Ondřej ; Turoňová, Lenka (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a popisem implementace nástroje pro analýzu strukturovaných dat v často používaných formátech jako je JSON nebo XML. Nástroj je jedním z mnoha dílších prvků platformy Testos, což je sada vzájemně komunikujících testovacích nástrojů. Primárním cílem této práce je vytvoření analyzátoru za účelem testování a propojení s dalšími nástroji v rámci projektu. Nástroj slouží k agregaci vstupních dat, určení váhy jednotlivých datových entit a abstrakcí skalárních hodnot.
|
|
|
Automatic Seccomp Syscall Policy Generator
Tamaškovič, Marek ; Smrčka, Aleš (oponent) ; Turoňová, Lenka (vedoucí práce)
This thesis deals with design and implementation of the tool which transforms a system call log into a policy that limits the system call usage in operating system GNU Linux. The motivation raised as a need for automatic creation such policies. In this thesis, we dealt with the intermediate data structure that represents the system call log. We dealt with simplification of the data structure on which were used optimization algorithms. The first implemented algorithm was minimax and the other was clustering algorithm DBSCAN. In the last part of the thesis, the testing methods are described. We tested the particular modules and the whole tool as a unit. During the testing, issues that prevent from complex testing, arised.
|
|
| |
|
|
Pokrytelnosti pro paralelní programy
Turoňová, Lenka ; Vojnar, Tomáš (oponent) ; Holík, Lukáš (vedoucí práce)
Tato diplomová práce se zabývá automatickou verifikací systémů s paralelně běžícími procesy. Práce diskutuje existující metody a možnosti jejich optimalizace. Stávající techniky jsou založeny na hledání induktivního invariantu (například pomocí techniky zjemňování abstrakce řízené protipříklady (CEGAR)). Efektivnost metod závisí na velikosti nalezeného invariantu. V rámci této diplomové práce jsme nalezli možnost zlepšení metod díky zaměření se na hledání invariantů minimální velikosti. Naimplementovali jsme nástroj, který zajišťuje prohledávání prostoru invariantů systému. Naše experimentální výsledky ukazují, že mnoho existujících systémů užívaných v praxi má skutečně mnohem menší invarianty než ty, které lze nalézt stávajícími metodami. Závěry a výsledky této práce budou sloužit jako základ budoucího výzkumu, jehož cílem bude navržení optimální metody pro vypočítání malých invariantů paralelních systémů.
|
|
|
Infrastructure for Testing and Deployment in the Field of Containers
Ormandy, Adam ; Lengál, Ondřej (oponent) ; Turoňová, Lenka (vedoucí práce)
Efficiency loss caused by repetitive manual tasks is a common problem throughout the IT sector. Developers often test, build, and deploy their software manually. That is not only time-consuming, but also dull and prone to errors and mistakes. This thesis tries to solve that in the context of one DevOps team, by unifying the development and testing tools, and by applying the principles of continuous integration and continuous deployment in the production environment. It is focused on Python, Jenkins, and container-based software and workflows. The main tools used in the thesis are GitLab CI, OpenShift and Tox. Thanks to work in described in the thesis, the number of projects with CI/CD pipelines increased from 7 to 50 percent, the amount of Python style violations started to decrease, containers have proper metadata, the container build process is automated, time and effort are saved by not doing repetitive tasks, and more.
|
|
|
Modern TreeView Component for the Web
Berky, Levente ; Smrčka, Aleš (oponent) ; Turoňová, Lenka (vedoucí práce)
This thesis focuses on creating a web component to display hierarchical structure in a form of tree. The thesis explores the current state of web and web components, researches similar tree view components and describes the fundamentals of used technologies. The practical part describes the requirements for the component and describes the development and implementation of it. Furthermore, the thesis describes the process of testing and benchmarking and their results.
|
|
|
Remote API Web Reference for Java Enterprise Applications
Krpec, Ondřej ; Turoňová, Lenka (oponent) ; Kočí, Radek (vedoucí práce)
The Master's thesis focuses on testing REST API interfaces of web applications. The result of the thesis is the Restty application, which allows to test API endpoints of said interfaces, as well as to create extensive test cases from the interface's endpoints. The theoretical part of the thesis explains the principles of web services, remote interfaces, technologies that are used for development of the application, and the Swagger framework upon which the application is built. Subsequently, the design drafts of the application are presented in detail. The following section covers Restty's implementation and demonstrates how the Restty can be used for testing the interface of a Red Hat JBoss BPM Suite application. In conclusion, the benefits of the Restty application are evaluated and its possible extensions are proposed.
|
|
|
Vyšetřování frekvenčních a fázových charakteristik s využitím diferenciálního počtu
Turoňová, Lenka ; Kunovský, Jiří (oponent) ; Šátek, Václav (vedoucí práce)
Tato bakalářská práce se věnuje vyšetřování amplitudové a fázové frekvenční charakteristiky lineárních elektrických obvodů. Porovnává klasické metody vyšetřování pomocí symbolicko-komplexního výpočtu s metodou vyšetřování s využitím diferenciálních rovnic. Pro grafické znázornění charakteristik v případě metody symbolicko-komplexního výpočtu byly pro demonstraci příkladů použity programy MATLAB a Maple. Cílem této bakalářské práce bylo také vytvořit uživatelské rozhraní nad TKSL/C, které umožňuje zadávání diferenciálních rovnic a vykreslování amplitudové a fázové frekvenční charakteristiky.
|
|
|
Continuous Integration and Automated Code Review in Open Source Projects
Tóth, Adrián ; Kočí, Radek (oponent) ; Turoňová, Lenka (vedoucí práce)
Due to an increase of the open source projects popularity a new software methodology has been adapted which is still evolving with the time. This bachelor's thesis deals with this adapted agile software methodology more precisely with continuous integration and its improvements in a real practical deployment. Furthermore, the thesis also deals with automation of the code review process especially with the static code analysis. This thesis aims to describe and explain how the continuous integration and automated code review affect and enhance the modern open source projects. According to the research, a modern type of code analysis with other enhancements was proposed and integrated.
|
|
|
Infrastructure for Testing and Deployment in the Field of Containers
Ormandy, Adam ; Lengál, Ondřej (oponent) ; Turoňová, Lenka (vedoucí práce)
Efficiency loss caused by repetitive manual tasks is a common problem throughout the IT sector. Developers often test, build, and deploy their software manually. That is not only time-consuming, but also dull and prone to errors and mistakes. This thesis tries to solve that in the context of one DevOps team, by unifying the development and testing tools, and by applying the principles of continuous integration and continuous deployment in the production environment. It is focused on Python, Jenkins, and container-based software and workflows. The main tools used in the thesis are GitLab CI, OpenShift and Tox. Thanks to work in described in the thesis, the number of projects with CI/CD pipelines increased from 7 to 50 percent, the amount of Python style violations started to decrease, containers have proper metadata, the container build process is automated, time and effort are saved by not doing repetitive tasks, and more.
|
host ::
RSS.