|
|
Dynamic Data Race Detection and Self-Healing in Java Programs
Letko, Zdeněk ; Kolář, Dušan (referee) ; Vojnar, Tomáš (advisor)
Finding concurrency bugs in complex software is difficult. As a contribution to coping with this problem the thesis proposes an architecture for a fully automated dynamic detection and healing of data races and atomicity violations in Java. Two distinct algorithms for detecting of data races are presented. One of them is a novel algorithm called AtomRace which detects data races as a special case of atomicity violations. The healing is based on suppressing a recurrence of the detected problem and can be performed by introducing an additional synchronization or by legally influencing the Java scheduler. Basically forces certain parts of the code to be executed atomically. The proposed architecture uses bytecode instrumentation to be able to track and influence the execution. The architecture and algorithms were implemented and tested on multiple case studies.
|
|
|
Support for Jenkins Plugin Development in Python Language
Bambas, Tomáš ; Letko, Zdeněk (referee) ; Müller, Petr (advisor)
Jenkins CI, the continuous integration server, enables to extend its functionality by plug-ins. These plug-ins can be written in Java and Ruby. The support for Python language is missing although it is one of the most popular programming languages. Therefore we have implemented the SDK for Python plug-in development and this SDK has been integrated into the Jenkins CI community repository. The documentation for the plug-in development in Python has been also published. Thanks to that work, developers can now implement plug-ins in Python programming language.
|
|
|
Lombok Framework Study
Paštrnák, Ján ; Müller, Petr (referee) ; Letko, Zdeněk (advisor)
The aim of this thesis is to analyze Lombok framework and its usage for the development of Java programs. Framework Lombok enables the generation of a primitive, often repetitive code during compilation of the annotated code. Using annotations, programmer specifies what and where the framework needs to generate during the compilation. This thesis explains the basic principles of the framework and design tests that demonstrate practical aspects of its use for creation of Java programs. Emphasis is placed on the estimation of the time saved through the development of Lombok, study its influence on the process of compilation and testing framework integrity with three development environments - NetBeans, Eclipse and IDEA InteliJ. The thesis summarizes the pros and cons of using this framework in real work.
|
|
|
Portal Solution for Small Company
Verbó, Ondrej ; Letko, Zdeněk (referee) ; Kočí, Radek (advisor)
The goal of this work is to explore and analyze possibilities of portal applications, theirs advantages and disadvantages associated with risks of deployment for a small company. This work deals with various aspects that accompany decisions about the use of portal application and evaluate them with the classical approach to creating internet applications. Focus is on the portal application LifeRay Portal.
|
|
|
Performance Measurement of Selected Drools Tools
Široký, Petr ; Fiedor, Jan (referee) ; Letko, Zdeněk (advisor)
Performance testing is often overlooked. This thesis describes the performance testing of the Drools Expert and Drools Fusion tools. Drools is a Business Logic Integration Platform. Expert and Fusion are parts of this platform, which provide rule based expert system and event processing capabilities respectively. Tests are designed and implemented with main focus on finding performance regression between different versions of Expert and Fusion tools. Results for two versions of these tools are discussed at the end of the thesis.
|
|
|
Portlets Based Time Management Tools
Basovník, Martin ; Kočí, Radek (referee) ; Letko, Zdeněk (advisor)
This master's thesis focuses on development of mini-applications for portal environments called portlets. Portal is an alternative type of web information systems used to dynamic portlet management, content personalization and aggregation of content from different data sources. The aim of this thesis is to try an alternative combination of technologies of portals, portlets and portlet bridges. This thesis is one of the first demonstrations of the described combination of technologies and will be used as an educational material by Red Hat company for development of portlets on their portal GateIn. The set of portlets manages user calendars, tasks and contacts. The theoretical part of this thesis compares existing tools for time management and mentions standards for data exchange in this domain. Subsequently it describes all important technologies used in this thesis. The practical part describes the design and the implementation of portlets and evaluates results of this work. The development of the described set of portlets proved that combination of technologies of portals, portlets and portlet birdges is fast and appropriate way how to develop information systems.
|
|
|
Journey Planning System
Vrba, Bohumil ; Letko, Zdeněk (referee) ; Ruttkay, Ladislav (advisor)
Bachelor's thesis covers design and developing of web application which serves for planning itinerary. I use Google Maps technogy to display and plan the journies. The thesis describes applied technology especially ASP.NET, database system MS SQL Server and Google map system. It is also dedicated to requirements specification, their registration with the help of language UML and design of data model. It is devoted to the implementation of aplication with an emphasis on used architecture.
|
|
|
Wireless Control of Desktop Presentation Using Mobile Phone with Bluetooth
Tesař, Miroslav ; Letko, Zdeněk (referee) ; Novosad, Petr (advisor)
The project aims to relieve a person performing a notebook or desktop computer based presentation of a need to control the presentation by a keyboard. The system uses a mobile phone with mobile Java and Bluetooth technology to communicate with the computer. The project focuses on the use by a wide range of mobile phones and it is independent of the presentation program using separate definition of user controls. This document also contains a brief introduction to mobile Java technology and Bluetooth.
|
|
|
Model-Based Testing of JBoss Drools
Široký, Petr ; Holík, Lukáš (referee) ; Letko, Zdeněk (advisor)
Model-based testing (MBT) is using a model of expected behavior of the system to automatically generate a set of tests. It aims at reducing the testing cost when compared to the traditional testing techniques. This work focuses on testing a real-world software system using the selected MBT tool OSMO. The tested system is responsible for compiling business rules and it is one of the main components of the Drools platform, developed by Red Hat. The work describes the introduction of MBT considering the good reception from the community of developers, then the creation of compiler input models and evaluation of the newly created test suite. The usage of the MBT resulted in detection of five reported and three potential issues in the tested code. Using the Drools compiler example, the work summarizes the main strengths and also weaknesses of practical use of MBT techniques.
|
|
|
Testing of Concurrent Software with Noise
Kotyz, Jan ; Smrčka, Aleš (referee) ; Letko, Zdeněk (advisor)
The aim of this bachelor thesis is to create a tool for testing of concurrent software written in Python. This testing tool monitors run of the concurrent program with bytecode instrumentation and performs noise injection at selected locations. This results in a dramatic increase in the probability of bug manifestation and therefore allows more efficient detection of bugs typical for concurrent software. The result of this thesis is concurrency testing tool for Python.
|
guest ::
