|
|
Tool for Searching for Test Paths
Stupar, Michal ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
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.
|
|
|
Instrumentace programů pro měření pokrytí
Václavík, Jan ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a implementací nástroje Ginstrum sloužící pro instrumentaci programů napsaných v jazyce C během překladu. Nástroj je implementován formou zásuvného modulu pro překladač GCC a instrumentuje místa programu, která přistupují do paměti, zapisují do paměti nebo volají funkce. Vzhledem k plánovanému použití nástroje pro testování a dynamickou analýzu umožňuje nástroj také vytvořit data z překladu, která slouží pro následnou analýzu pokrytí překládaného kódu testy.
|
|
|
A Tool for Creating Log Message Patterns
Hanus, Igor ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
The thesis aims to create a portable web application for processing logs using combinations of Grok patterns and regular expressions to create a pattern for individual log messages with the possibility of exporting them into YAML format that can be processed by the tool Plogchecker. The application was implemented using the React JavaScript library using the TypeScript language. Processing of individual regular expressions is achieved using the Oniguruma library, which is integrated into the application using WebAssembly. The reason for using the Oniguruma library was the incompatibility between regular expression compilers specified by the ECMAScript standard and compilers used for Grok patterns. Automated testing and user testing were conducted, and identified flaws were addressed.
|
|
|
Monitorování výkonnosti systému MES PHARIS
Ondráček, Aleš ; Hruška, Martin (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato diplomová práce se zabývá monitorováním výkonnosti automatizovaných procesů vývoje a výkonnostním testováním systému MES PHARIS. Hlavní náplní práce je sběr dat o úlohách prováděných na automatizačních serverech DevOps a Jenkins, zpracování těchto dat a jejich následná vizualizace. V druhé části diplomové práce je pak řešeno zpracování dat z výkonnostního testování a jejich vhodná reprezentace pomocí vizualizací. Stěžejní technologie, která je využita k řešení této problematiky, je ELK Stack.
|
|
|
Sběr výkonnostních parametrů systému MES PHARIS
Oháňka, Martin ; Hruška, Martin (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato diplomová práce se zabývá sledováním automatizovaných úloh na integračních serverech a získání dat z těchto úloh. Další rovinou této práce je výkonnostní testování a z něj získat informace o vytížení hardwaru. Díky tomu je možné provádět výkonnostní analýzy implementovaného řešení z různých výkonnostních pohledů. Výsledkem této diplomové práce je programové řešení, které je schopné získat data o úlohách z integračních serverů DevOps a Jenkins. V oblasti výkonnostního testování je vytvořeno řešení pro paralelní provádění úloh. Výstupem této práce je formátovaný výstupu předávaný formátem JSON. Data jsou následně předávána do platformy Elastic, konkrétně Logstash, kde jsou následně vizualizována pomocí Kibana. Ke sběru dat z výkonnostního testování je využita platforma Beat. Řešení bylo aplikováno na výrobní informační systém MES PHARIS společnosti UNIS.
|
|
|
Orchestrace modulů multitenantních systémů
Jeřábek, Filip ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem práce je navrhnout a demonstrovat řešení alternativního převodu aplikace do multitenantní podoby spolu s jejím přesunem ze zákaznického serveru a nasazením na sdílený server firmy, která tento systém vyvíjí. Součástí převodu není klasická modifikace původní aplikace a implementace multitenance přímo do jejího kódu. Pomocí systémů jako je Docker a Kubernetes budou vyčleňovány, kontejnerizovány a orchestrovány moduly původní aplikace, díky čemuž vznikne iluze multitenance. Práce necílí na předložení jednoho řešení, ale apeluje na poskytnutí potřebných znalostí, více variant návrhu a implementace univerzálního demonstračního řešení, kdy je před použitím nějakého z návrhů předpoklad jeho upravení dle specifických potřeb vlastního řešení a jeho následná implementace. Navrhovaná řešení mají za cíl zjednodušení procesu tohoto převodu, což souvisí s ušetřením prostředků, a také poskytnutí možnosti vytvoření iluze multitenance u systémů, kde je klasický postup příliš náročný nebo nemožný.
|
|
|
Chaos Testing of the Strimzi Project Using the Litmus Platform
Zrnčík, Henrich ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The last decade in software engineering has seen a trend towards automation and abstraction with increasing use of micro-service architecture. The trend towards micro-service architecture has brought with it a need to rethink how we implement software quality assurance. Running micro-services in the cloud with multiple distributed components requires additional management of shared and inter dependent components. This in turn requires additional testing of the system's resilience. A possible answer is chaos engineering, which is often considered the next logical step after end-to-end and integration testing. This thesis will focus on the gaps in testing created by the move to micro-service architecture and how chaos engineering can fill them. In particular it will focus on Apache Kafka deployed onto a kubernetes platform (Strimzi) and how the Litmus framework can be used to implement Chaos testing against this deployment. As our use-case was to have long running Kafkas deployed on kubernetes we had to adapt and extend the Litmus framework and build experiments that could test both long running kafkas and long running kubernetes. This thesis will demonstrate how we did this.
|
|
|
Instrumentace programů pro měření pokrytí při testování SW
Kapoun, Petr ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a tvorbou instrumentačního nástroje pro měření pokrytí při softwarovém testování. Nástroj při překladu získá reprezentaci vybraných částí programu v podobě grafu toku řízení a instrumentuje dané části programu vložením zpětných volání funkcí. Pomocí dat generovaných při volání vložených funkcí instrumentovaného programu nástroj vyhodnotí měření kritérií pokrytí. Mezi podporovaná kritéria pokrytí patří pokrytí řádků kódu a vybraná kritéria pokrytí toku řízení a toku dat.
|
|
|
Framework for Testing Student Projects
Dižová, Natália ; Malík, Viktor (oponent) ; Smrčka, Aleš (vedoucí práce)
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š (oponent) ; Hrubý, Martin (vedoucí práce)
This thesis aims to design and implement a framework for a paid internet service and deploy it to the cloud services provided by the Google Cloud Platform with the lowest operation price. The resulting architecture is serverless, so it uses Firebase services such as Firestore NoSQL database, Firebase Storage, and Firebase Authentication. The solution is written in TypeScript and consists of two main parts - the front-end application and the worker, which processes computational tasks. React is used to build component-based UI for the front- end, forming a solid foundation with Redux for centralized application state management. As a server for the front-end, Nginx is used. The worker is based on the Node.js back-end JavaScript runtime environment. The application is successfully deployed to the Cloud Run as a set of Docker containers using a CI/CD pipeline built on Cloud Build.
|
host ::
RSS.