|
|
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.
|
|
|
Module Package for Building Internet Applications in PHP
Rybák, Aleš ; Novosad, Petr (referee) ; Smrčka, Aleš (advisor)
Package of modules for development with PHP is project aimed on simplification and efficiency of programmer's work when developing web based applications in scripting language PHP. This project is continuation of PHP Modular Object framework and wants to extend its connectivity to new modules. Next goal is implementation of modules which allow programmers to use the development system.
|
|
|
Case Study of Available Tools for Database Synchronization Among iOS Facilities
Matěj, Kryštof ; Smrčka, Aleš (referee) ; Hrubý, Martin (advisor)
The goal of this work is to verify the functionality of the synchronization object databases via CoreData and Datastore. Verification of functionality synchronization object database I made using two experimental devices and the server. In the present bachelor thesis I created the library DB2iCloud, which provides an abstract interface for CoreData Datastore. Be- nefits of this work is to create a library DB2iCloud in the demo application and verification of CoreData and Datastore.
|
|
|
A VHDL Parser for Formal Verification
Matyáš, Jiří ; Smrčka, Aleš (referee) ; Charvát, Lukáš (advisor)
The principal goal of this bachelor thesis is to design and implement a parser of VHDL language into graph representation in VAM (Variable Assignment Language). The application is developed for formal verification purposes of VeriFIT research group of the Faculty of Information Technology, Brno University of Technology. The development of the compiler described in this thesis should provide the opportunity to use formal verification techniques to verify hardware designs described in high level design languages, such as VHDL.
|
|
|
Generating Test Inputs Based on Program Trace
Sušovský, Tomáš ; Malík, Viktor (referee) ; Smrčka, Aleš (advisor)
This thesis focuses on design and implementation of a tool for automated generation of test inputs for a specified program trace. The aim of the thesis is to make development of testing suites (complying a given advanced coverage criteria) easier and more effective. These kinds of test suites are used in critical applications with code base written in low-level languages like C/C++ with strict restrictions applied. The tool investigates a program model and what conditions must be met to execute program in a way following provided trace. The tool uses advanced SMT-solver tool (software tool specialized for solving satisfiability problem) for generating fitting values. LLVM compiler framework libraries are used for modelling a program. Z3 library is used as a SMT-solver backend. This thesis brings results in architectural and implementation design of a tool capable of test inputs generation based on program analysis and provided program trace to cover.
|
|
|
Graphical User Interface for Performance Control System
Grzybowská, Martina ; Smrčka, Aleš (referee) ; Fiedor, Tomáš (advisor)
One of the most frequent ways to test system performance is the program profiling technique, which carries out a collection of resource consumption data and its subsequent evaluation leading to the detection of performance changes, whose existence may have a negative impact on the system in development. For the realization of the profiling process and more complex application performance management, there are several established solutions. Perun belongs among the newer performance managers, it provides automatization of creating as well as managing of the performance profiles. However, the current version only offers a console user interface, therefore it is not suitable for deployment to e.g. cloud. The main objective of this thesis is to specify, design and implement a graphical user interface for Perun. The resulting interface targets the core functionality such as profiling data collection based on the pre-defined configuration, its subsequent postprocessing or effective visualization, as well as the ability to clearly give information about the status of performance degradation among individual project versions. The solution is demonstrated on three non-trivial version control systems annotated by performance profiles.
|
|
|
GIS Application Tool for Mobile Platforms
Kalčík, Vojtěch ; Smrčka, Aleš (referee) ; Hrubý, Martin (advisor)
This master's thesis with draft of GIS tool for mobile platforms. The resulting program will be adapted for collection of geographic data in the field. The program will work with standard file formats for GIS. High emphasis is put on the control, which is particular for mobile devices with capacitive display. The program will be designed for both smartphone and tablet. Explanation of the mapping principle and description of geographic information systems are also parts of the thesis.
|
|
|
Development of Instrumentation during Compilation
Ševčík, Václav ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The focus of this master's thesis is on the topic of instrumentation during the compilation process in the LLVM compiler. The tool enables to instrument memory accesses and functions. The instrumentation is realized through adding a novel pass to the LLVM's optimalization phase. Information about variables are managed by the created framework. The framework is linked with the program. The overhead of the instrumentation increases duration of the program by about 14 % in the case of switched off indirect addressing and 23 % in the case of switched on indirect addressing. The main benefit of the work is the possibility of easy instrumentation of the program which can even monitor operation of local variables through indirect addressing) and support multithread programs. The framework is part of Testos's tools where it provides automatic instrumentation in the Spectra tool.
|
|
|
Automated GUI Testing Using Container Technology
Sojčák, Juraj ; Rogalewicz, Adam (referee) ; Smrčka, Aleš (advisor)
The aim of this Bachelor thesis is to create a system for automated testing of GUI desktop applications that may be easily used as a test environment. The system consists of, first, an application in which the user is able to create the test scripts, and second, the interpreter that runs and evaluates the relevant test scripts. The user creates the test scripts using a~language that is also described in this thesis. Simple deployment of the system ensures the use of container-based virtualization.
|
|
|
Use-Case of BDD Process in Testing of PHP Applications
Kudaiberdiyeva, Farida ; Letko, Zdeněk (referee) ; Smrčka, Aleš (advisor)
This bachalor's thesis is focused on revealing of main advantages and disadvatages of Behavior Driven Development using by software companies in Czech Republic and abroad. It is dedicated to diferences and grey areas of BDD testing technique in comparison with classic approach of testing of web application using Selenium framework. The goal of this thesis is to find out, whether using of BDD is more appropriate and effective than classic approach of testing. Two frameworks have been compared: PHP Selenium Client by Nearsoft and Behat. Criteria for comparing are: coverage of test cases, way of writing and execution of the scenario, understandability for non-programmers, time for tests creating, probability of not introducing new faults while creating the test, and the level of test's abstraction. From the achieved results is possible to define main pros and cons of each framework. The most effective way of testing is the combination of two of them, i.e. using of Behat framework with adding user-defined sentences and programming code. The least effective way of testing is using just sentences provided by Behat. Additional goal of this bachalor's thesis is to find out, if BDD is appropriate and effective for Dixons Carphone (earlier Dixons Retail) company by providing of independended view on the problem based on real examples.
|
guest ::
RSS feed.