|
|
Automated Testing of Smart Card Authentication in GUI
Mach, Ondřej ; Smrčka, Aleš (referee) ; Peringer, Petr (advisor)
Cílem této práce je automatizovat testování běžných případů autentizace pomocí čipových karet v systému Red Hat Enterprise Linux (RHEL). Mezi ně patří přihlašování v GDM, použití funkce lock-on-removal v prostředí GNOME shell a odemykání systému. Protože tyto případy použití zahrnují interakci s přihlašovací obrazovkou, nelze použít běžné testovací nástroje. Výsledkem práce je modul v jazyce Python, který umožňuje snímat obrazovku a ovládat testovaný systém. Dále byla implementována sada běžných případů užití, které byly dříve testovány manuálně. Řešení bude použito ve firmě Red Hat k testování nových verzí systému RHEL.
|
|
|
Modular Webhosting for Educational Purposes
Kašpárek, Ladislav ; Smrčka, Aleš (referee) ; Pavela, Jiří (advisor)
The bachelor’s thesis is focused on the design of web hosting, the aim of which is to support IT teaching in secondary schools. The resulting web hosting is built on the Docker container platform, which is controlled by own implementation management platform. The actual implementation achieves maximum control over the deployment of the services that the students are supposed to use during teaching. The created web hosting enables isolated running services, the advantage of which are the same running environments while maintaining the separation of individual services. Part of the bachelor’s thesis is the deployment of web hosting and the subsequent student evaluation based on the experience of using the services.
|
|
|
Výkonnostní a regresní testování nástroje Zoner Photo Studio X
Konopík, Matěj ; Kočí, Radek (referee) ; Smrčka, Aleš (advisor)
This thesis deals with the problematics of testing the manipulation of RAW format files from the modern digital cameras in Zoner Photo Studio X. Automatic regression tests are used together with the grey box method to continually control the quality of the output image date. A new testing system was created that is used to test the RAW conversion module. This system brings and open interface to easily and quickly integrate new image data tests, It also features automatic launching, analysis and reporting of the results. Thanks to this new system, the implementation of new test will become much easier and this will moreover increase the quality of the product.
|
|
|
Simulated Fault-Injection in Network Communication
Rozsíval, Michal ; Rogalewicz, Adam (referee) ; Smrčka, Aleš (advisor)
The development of network applications takes place under ideal conditions, as opposed to deploying them in a real-world environment that contains vulnerabilities such as loss, latency, or cyber-attacks. Ensuring resilience against these vulnerabilities is thus crucial. This thesis introduces the NetLoiter, which aims to enable the simulation of the required vulnerabilities and thus allow developers to treat them correctly. The NetLoiter can be used in transparent (proxy server), hidden (captures communication directly from the system kernel), or hardware versions suitable for testing embedded systems. NetLoiter supports dynamic reconfiguration using a public interface that can be used to automate the testing process. NetLoiter has been successfully integrated and used in real projects.
|
|
|
Module Orchestration of Multitenant Systems
Freyburg, Petr ; Pavela, Jiří (referee) ; Smrčka, Aleš (advisor)
This thesis deals with the creation of multitenant systems and their orchestration. The creation process is based on the transformation of an existing monolithic but modular system in order to extract a selected module. The resulting solution includes an infrastructure that enables secure transmission between the information system and the extracted module. This infrastructure isolates the individual tenants from each other. The individual modules are containerized in Docker technology and orchestrated using Kubernetes. The proposed solution supports several interfaces between the module and the system. Supported interfaces include, for example, a standard client-server architecture or a standard input/output to allow the single-running of console applications.
|
|
|
System for Managing Corporate Data Integration
Řezník, Michal ; Smrčka, Aleš (referee) ; Kočí, Radek (advisor)
Cílem této práce je návrh a implementace aplikačního rozhraní, který se stane součástí mikro aplikace patřící do integrační platformy firmy Onsemi. Práce se nejprve věnuje představení strategií používaných během vývoje systému, použitým nástrojům a návrhu samotného designu systému. Middleware platforma Onsemi obstarává více než 3000 da- tových toků denně a zajišťuje úspěšný každodenní chod korporátu. Tato platofrma garan- tuje doručení dat pro každou jednu integraci. Datové integrační toky mohou vytvářet token představující odchozí datový soubor uložený v souborovém systému. Každý jeden z daných toků vytváří během spuštění token, který se po dobu běhu toku stává jakousi reprezen- tací jeho aktuálního stavu. Token reprezentuje tento stav pomocí pohybu v souborovém systému serveru, na kterém zrovna běží aplikace obstarávající asynchronní doručení dat. Hlavním úkolem daného rozhraní je ulehčit správu neúspěšných datových integrací pro členy middleware týmu, kterými se musí zabývat společně s vyvíjením platfromy a zajišťováním nových integrací. Na konci práce je popsána implementace do systému firmy společně se zhodnocením přínosu vypracovaného řešení.
|
|
|
Test Suite of the EAS Framework
Mazáková, Júlia ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
Toto dielo sa zameriava na softvérové testovanie systému s dôrazom na nižšie vrstvy testovania, ktoré zahŕňajú testovanie jednotlivých komponent a integráciu. Hlavným cieľom je demonštrovať proces testovania na EAS (Efektívny Agendový Systém), začínajúc plánovaním testov a následne vytvorením konečnej testovacej sady, ktorá vyhodnocuje výkon mikroslužieb systému. Táto testovacia sada pokrýva významnú časť funkcionality systému. Výsledky sú zobrazené a analyzované vo vygenerovanej testovacej správe. Analyzovanie systému a konečný report slúžia ako cenný nástroj v rámci testovania.
|
|
|
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.
|
guest ::
