|
|
Tool Supporting Generation of Automatic Test Set
Studený, Martin ; Rogalewicz, Adam (referee) ; Smrčka, Aleš (advisor)
The goal of this bachelor's thesis is to create a Suiter tool that partially automates the process of creating test scripts in a wide range of programming languages . The focus is given to a testing of application programming interface ( API ) by combining input values in a specific state of a web application . Suiter generates an executable set of tests that satisfy the required combination criteria .
|
|
|
Optimization of the Hadoop Platform for Distributed Computation
Čecho, Jaroslav ; Smrčka, Aleš (referee) ; Letko, Zdeněk (advisor)
This thesis is focusing on possibilities of improving the Apache Hadoop framework by outsourcing some computation to a graphic card using the NVIDIA CUDA technology. The Apache Hadoop software library is a framework that allows for the distributed processing of large data sets across clusters of computers using a simple programming model called mapreduce. NVIDIA CUDA is a platform which allows one to use a graphic card for a general computation. This thesis contains description and experimental implementations of suitable computation inside te Hadoop framework that can benefit from being executed on a graphic card.
|
|
|
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.
|
guest ::
RSS feed.