|
|
Tool for Searching for Test Paths
Stupar, Michal ; Rogalewicz, Adam (referee) ; Smrčka, Aleš (advisor)
The work contains an introduction into problematics model-based testing, framework design for searching test paths over a control-flow graph, the implementation of classes and methods, the implementation of which was verified by a set of automatic tests. Searching path in graphs using breadth-first search and depth-first search algorithms that try to find test paths for performance of the four implemented graph coating criterias. Tool TRIP uses two externals modules - GCC plugin for obtaining the control-flow graph and the SMT solver for determining the evaluation of the path. Communication between moduls is JSON format, which is also used for saving found paths between individual runs of the tool.
|
|
|
Program Instrumentation Enabling Coverage Measurement
Václavík, Jan ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
This thesis deals with the design and the implementation of the Ginstrum tool for compile time instrumentation of C programs. The tool is implemented as a GCC Plugin and instruments places in program that access memory, write to memory or call functions. The tool also provides compile information that can be used for the code coverage measurement during testing and dynamic analysis.
|
|
|
A Tool for Creating Log Message Patterns
Hanus, Igor ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
Cieľom práce je vyvtorenie prenositeľnej webovej aplikácie na spracovanie logov pomocou kombinácie Grok vzorova a regulárnych výrazov, za účelom vytvorenia vzoru pre jednotlivé záznamy logu s možnosťou exportovania do YAML formátu, ktorý je spracovateľný nástrojom Plogchecker. Aplikácia bola implementovaná pomocou JavaScript knižnice React použitím jazyka TypeScript. Spracovanie jednotlivých regulárnych výrazov je riešené pomocou knižnice Oniguruma, ktorá je integrovaná do aplikácie pomocou WebAssembly. Dôvodom použitia Oniguruma knižnice bola nekompatibilita medzi prekladačmi regulárnych výrazov definovanými štandardom ECMAScript a prekladačmi, ktoré sú využívané pre preklad Grok výrazov. Realizacia aplikácie bola podrobená automatizovaným testom a užívateľským testom, s opravou zistených nálezov.
|
|
|
Performance Monitoring of MES PHARIS
Ondráček, Aleš ; Hruška, Martin (referee) ; Smrčka, Aleš (advisor)
This diploma thesis deals with the performance monitoring of automated development processes and performance testing of the MES PHARIS system. The main scope of thesis is the collection of data on tasks performed on automation servers DevOps and Jenkins, processing of this data and their subsequent visualization. The second part of the diploma thesis deals with the processing of data from performance testing and their appropriate representation using visualization. The core technology that is used is ELK Stack.
|
|
|
Performance Data Collection of MES PHARIS
Oháňka, Martin ; Hruška, Martin (referee) ; Smrčka, Aleš (advisor)
This master's thesis deals with monitoring of automated tasks on integration servers and obtaining data from these tasks. Another area of this work is performance testing and to obtain information about hardware utilization from it. Thanks to this, it is possible to perform performance analysis of the implemented solution from different performance perspectives. The result of this master's thesis is a software solution that can obtain data about tasks from DevOps and Jenkins integration servers. In the area of performance testing, there is created a solution for parallel execution of tasks. The output of this work an output passed in JSON format. The data is then transferred to the Elastic platform, specifically Logstash, where it is subsequently visualized using Kibana. The Beat platform is used to collect data from performance testing. The solution was applied to the production information system MES PHARIS of the UNIS company.
|
|
|
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.
|
guest ::
RSS feed.