|
|
Fuzz Testing of Program Performance
Liščinský, Matúš ; Smrčka, Aleš (referee) ; Rogalewicz, Adam (advisor)
Fixing one issue sometimes brings another ten to the program. To detect these issues, especially performance issues, we often have to supply the program with input, that forces its worst-case behaviour. A popular solution to automatic inputs generation is so called fuzzing, however, its intention is to find functional bugs. In this work, we aim to construct an automatic generator of inputs whose task will be to trigger performance fluctuations. So we propose to tune fuzzing mutation rules and ways of processing the information about program run, to particularly trigger the performance bugs. We integrate our solution into a performance profile manager Perun, which stores information about every run as a profile and is able to compare these profiles to check for performance change. Therefore we can prove that executing with certain input takes more time or memory. We tested our fuzzer on several artificial projects, which shows its potential with generated inputs that prolong the runtime of the program. Such a solution would allow developers to regularly test every version of a project for performance bugs and avoid them completely by automatically finding new exhausting inputs before release.
|
|
|
Front-End for Generator of Test Data
Freyburg, Petr ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
The goal of this bachelor thesis is to create web application for generating structured test data for software testing. The project integrates existing test data generator Gestr. The project includes creating REST application interface and web frontend. The tool is implemented using Python and Flask framework, user interface is realized by HTML, CSS and JavaScript. Application can prepare inputs for generator and start generating.
|
|
|
Automated Security Compliance Scanning of MS Windows Operating System Using OpenSCAP Project
Černý, Jan ; Barabas, Maroš (referee) ; Smrčka, Aleš (advisor)
This work deals with security compliance of computer systems, namely operating systems, applications and system services. Concept of security policies, their evaluation and their enforcement is described. Security compliance automation and the SCAP standard are presented. OpenSCAP project, which is used as an SCAP scanner, is described together with its tools and its usage. An idea to add support of Microsoft Windows within OpenSCAP, which was previously unsupported, is presented. The core part of the thesis is to identify necessary changes of OpenSCAP and to design an extension of this project. All these modifications are implemented. The solution is demonstrated on security policies for Windows. The solution is evaluated and further improvements are discussed.
|
|
|
Modelling of Dynamic Games with Imperfect Information
Straka, Richard ; Smrčka, Aleš (referee) ; Hrubý, Martin (advisor)
This work concentrates on the study of dynamic games; in particular games with imperfect information, implementation of a model and experimentation with the model. The game DarkElf was chosen for this project. It is a strategic, turn based game with economic and military features, where the decisions made by players are simultaneously implemented at a predetermined time.
|
|
|
Interactive Generator of Syntax of Heterogeneous Data Structures
Kotraš, Martin ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
Today, software systems are often composed of several components that transmit data through various communication channels. Despite the fact that there are a number of standardized data encoding formats, developers still create their own mostly with regard to the specific use of the software they create. One of the essential parts of quality verification or minimization of data transmission errors is the validation of input data. The first step to validation is to formalize a language describing data structures. The most general formalism for these purposes is the grammar of the language in the standard description, e.g. BNF, ABNF, or EBNF. However, creating a language-specific grammar can be a step that is sensitive to error for an inexperienced developer. The aim of this project is a simple application for creating grammar from a sample of data. The work solves the generation of grammar and validation code snippets from the sample string of the language, e.g. the source code of the programming language. The user solves the problem by sequentially marking parts of the uploaded string, naming them, and assigning properties to them. This is aided by tools for splitting rules, merging rule prefixes and/or suffixes, creating lists, and optimizing the resulting rules. As part of the work, a single-page web application was created, which was able to pass relatively well when tested on JSON and XML, and it was possible to create a more general grammar despite the problems with a weak parser. Thanks to this work, even less experienced users can create more general grammars of their strings and use them for validation purposes. In addition, the work provides a basis for further research in this area and is open to further improvement.
|
|
|
Early Testing in oVirt/RHV Project
Saranová, Ivana ; Smrčka, Aleš (referee) ; Rogalewicz, Adam (advisor)
The objective of this work is to automate the preparation of a testing environment, which is a part of manual early testing of ovirt-web-ui component in project oVirt/RHV and allow the tester to work efficiently. Agile methods, early testing principles, project oVirt/RHV, and software development tools Jira, Jenkins, and GitHub were studied in this thesis. Automation was implemented in Python programming language and the work was incorporated into an existing automation structure in GitLab, while simultaneously being run by the Jenkins tool. All created components communicating with each software development tool are not only used in the preparation script but also will be utilized to gather data into the database in the future. The finished work was thoroughly tested and helped to free up to 2 hours of tester's time for other work-related activities.
|
|
|
Development of Combine Tool
Nováček, Pavel ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
This thesis deals with the reimplementation of the web tool Combine, which generates combinatorial test sets satisfying user-specified parameters and constraints using the IPOG algorithm. The thesis is a part of Testos platform, which aims at software testing automation. The goal of this thesis is to analyze the current state of the tool, identify its errors and deficiencies, discuss suitable extensions to its functionality, and based on these findings, create a new design and implementation of the Combine tool. The new solution preserves all the functionality of the previous tool and at the same time expands it on all levels of the architecture. The tool is not only more manageable thanks to a more user-friendly web interface but also offers new possibilities for test set generation. More suitable technologies have been chosen for its implementation, making the tool portable and significantly faster in generating test sets compared to the previous implementation, capable of competing with existing solutions for combinatorial test set generation.
|
|
|
Petri nets in Netlab Tool
Šajdík, Ondrej ; Smrčka, Aleš (referee) ; Rogalewicz, Adam (advisor)
The aim of this work is to support the continuation of the Netlab tool's development and to simplify its extension. Netlab is a desktop application that allows for the modeling of systems in the form of Petri nets using a graphical editor, and subsequently performs model checking analyses on the created model. Within the scope of this work, the concepts of model checking, Petri nets, and available analyses within the application were examined. The application had not been developed for an extended period, resulting in significant obstacles for further improvements. These issues are addressed and resolved throughout the course of this work. Another goal is to enable users of the application to execute a reverse analysis algorithm on the created model, which has been implemented, thereby demonstrating extensibility and potential for future development.
|
|
|
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.
|
guest ::
