|
|
Module Orchestration of Multitenant Systems
Jeřábek, Filip ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
The aim of this thesis is to propose and demonstrate a solution for alternative conversion of an application into multitenant form together with its transfer from a customer server and deployment on a shared server of the company that develops this system. The conversion does not include a classical modification of the original application and implementation of multitenancy directly into its code. Using systems such as Docker and Kubernetes, modules of the original application will be extracted, containerized and orchestrated, creating the illusion of multitenancy. This thesis does not aim at presenting a single solution, but appeals to provide the necessary knowledge, multiple design variants and the implementation of a universal demonstration solution, where before using any of the designs, it is expected to modify it according to the specific needs of the actual solution and its subsequent implementation. The proposed solutions aim to simplify the process of this conversion, which is related to saving resources, and also to provide the possibility of creating the illusion of multitenancy for systems where the classical approach is too difficult or impossible.
|
|
|
Chaos Testing of the Strimzi Project Using the Litmus Platform
Zrnčík, Henrich ; Smrčka, Aleš (referee) ; Vojnar, Tomáš (advisor)
Posledná dekáda v poli softwarového inžinierstva sa niesla v duchu automatizácie a abstrakcie. Vzostup nového spôsobu písania a menežovania softwaru (taktiež známeho ako architektúra mikroslužieb) so sebou taktiež priniesol nové výzvy v rámci zaručovania kvality softwaru. Beh systému v cloudovom prostredí s množstvom komponentov, ktoré sú roztrúsene po rôznych uzloch vyžaduje uvažovanie o závislostiach medzi týmito komponentami a dodatočné testovanie ktoré potvrdí odolnosť systému. Riešením je chaos inžinierstvo, často považované za logický krok po testovaní systému ako celku. Táto práca sa zaoberá riešením problému nedostatočných možností pre aplikáciu chaosu (a to prostredníctvom projektu Litmus) do produktu Apache Kafka, ktorý je nasadený na Kubernetes platforme ako súčasť projektu Strimzi. Inými slovami, aby sme mohli aplikovať chaos na projekte Strimzi, či iných systémoch ktoré ho používajú, musíme vytvoriť úplne nové časti Litmusu. Čo sa samotnej aplikácie chaosu týka, fakt že Strimzi je systém sám o sebe, avšak často súčasť iných systémov, znamená že budeme potrebovať vytvoriť rozšírenejšie riešenia. Práca je zavŕšená výslednými experimentami a potvrdením odolnosťi projektu v reálnom nasadení.
|
|
|
Program Instrumentation Enabling Coverage Measurement in SW Testing
Kapoun, Petr ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
This work deals with the design and creation of an instrumentation tool for measuring coverage in software testing. During compilation, the tool obtains a representation of selected parts of the program in the form of a control flow graph and instruments the given parts of the program by inserting function callbacks. Using the data generated when calling the function callbacks of the instrumented program, the tool evaluates the measurement of the coverage criteria. Supported coverage criteria include line coverage and selected control flow and data flow coverage criteria.
|
|
|
Framework for Testing Student Projects
Dižová, Natália ; Malík, Viktor (referee) ; Smrčka, Aleš (advisor)
This Master's Thesis is about design and implementation of a framework, whose target is to improve effectiveness and simplify student project's evaluation process. Theoretical part of this Thesis is dedicated to software testing fundamentals and used principles. It also describes Linux containerization technology. In the next part, Thesis contains analysis of requirements for student project testing in various University courses. Core of the Thesis describes design and its implementation of a system, which satisfies analyzed requirements. Last part shows how implemented system was verified and shows possible future extensions of this work.
|
|
|
Framework for a Web Internet Service Implemented in Google Cloud Platform
Roshka, Andrei ; Smrčka, Aleš (referee) ; Hrubý, Martin (advisor)
Cílem této bakalářské práce je navrhnout a naimplementovat rámcové řešení pro placenou internetovou službu a nasadit ho na cloudové služby poskytované Google Cloud Platform s nejnižší provozní cenou. Výsledná architektura je serverless a používá služby Firebase jako Firestore NoSQL databáze, Firebase Storage a Firebase Authentication. Rešení je psáno v jazyce TypeScript a skládá se ze dvou hlavních cásti - front-end aplikace a pracovního procesu, který zpracovává výpočetní úlohy. React se používá k vytvoření uživatelského rozhraní založeného na komponentách spolu s Reduxem pro centralizovanou správu stavu aplikací. Jako server pro front-end se používá Nginx. Pracovní proces je postaven na Node.js - serverovém prostredí pro JavaScript. Aplikace je úspešně nasazena do servisy Cloud Run jako sada Docker kontejneru za použitím CI/CD pipeliny postavené na Cloud Build.
|
|
|
Test Data Generator for Databases of Financial Technology
Moresová, Eva ; Vašíček, Ondřej (referee) ; Smrčka, Aleš (advisor)
This bachelor thesis deals with the creation of a test-data generator for databases of applications in the field of financial technology. The solution was implemented as an extension and modification of the functionality of existing dbgenx tool, which is a part of the Testos platform. The created tool enables data generation with regard to its structural and semantic dependencies, definition of custom external modules for data generation and provides an efficient way to define specification of the generated data.
|
|
|
Parametric Properties for Log Checker
Čaládi, Filip ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
Plogchecker 2.0 is a tool for verification of user-defined properties over sequences of events in the traces of the program. The implementation of this tool mainly builds on the previous version of the tool Plogchecker. The main idea behind these tools is that the user has to specify system properties (parametric or non-parametric), make any program run records available to the verification tool and let the tool analyze. The analysis output is the report about the violation of specified properties with sequences of events that caused the error. This thesis proposes a new algorithm that optimizes the processing of event sequences against user-defined properties specifications. The optimizations are focused on both scalability as well as precision. Furthermore, it adds support for various parametric data types, such as string, number, date and time. Finally, it offers an easier and more comfortable way to specify such parametric properties. Throughout the series of experiments, it is shown that Plogchecker 2.0 is more scalable and precise compared to previous version of Plogchecker.
|
|
| |
|
|
RPM Package Query Resolver
Korbař, Tomáš ; Smrčka, Aleš (referee) ; Rogalewicz, Adam (advisor)
Cílem této práce je vytvořit nástroj umožňující efektivně získávat data o RPM balících a dotazovat se jak na data jednotlivých balíků tak na vztahy, které mezi nimi existují. Nástroj musí být schopen předčit dosavadní rychlost dotazování existujících nástrojů a dovolit snadné rozšíření o ukládání dalších dat nebo vztahů. Další z požadovaných funkcí je vizualizace výsledků podle nastavení uživatele nebo poskytnutí výsledku v strojově zpracovatelném formátu.
|
|
|
Framework for a Web Internet Service
Hájek, Filip ; Smrčka, Aleš (referee) ; Hrubý, Martin (advisor)
The goal of this thesis is to design and implement a containerized web service, which provides the ability to create and run users' tasks. The task is only an abstraction over some particular implementation of computation. The task runs as a Docker container. The thesis also implements user management and the method of running task charging. The system architecture consists of a REST API web server and a user web environment. Worker applications are an essential component of the system. They start user tasks assigned by the server. The system was implemented using the .NET 6 framework in programming language C#. The run of the service has been simulated in a Docker environment. The service integrates existing Auth0 and Google Cloud Storage services. The result is an internet service deployed on a public cloud server.
|
guest ::
