|
|
Heuristic Solving of Planning Problems
Novotná, Kateřina ; Křena, Bohuslav (referee) ; Letko, Zdeněk (advisor)
This thesis deals with the implementation of the metaheuristic algorithms into the Drools Planner. The Drools Planner is an open source tool for solving optimization problems. This work describes design and implementation of Ant colony optimization metaheuristics in the Drools Planner. Evaluation of the algorithm results is done by Drools Planner benchmark with different kinds of optimization problems.
|
|
|
Integration of JMS Providers to Third Parties
Žiaková, Nikoleta ; Letko, Zdeněk (referee) ; Dudka, Vendula (advisor)
This thesis deals with messaging and integration of third-party JMS providers into JBoss application server. The aim of the thesis was to design and implement a general-purpose testsuite to verify the proposed integration. First requirement was to get familiar with key technologies for integration including Java Message Service, Java EE Connector Architecture, selected JMS providers and JBoss AS. Specific procedures of integration were designed and described for JMS providers Apache ActiveMQ, IBM WebSphere MQ and Red Hat MRG Messaging. The testsuite implemented to verify the functionlity of the integration focuses on four areas - transactions, clustering, high availibility and performance. The process of testing was automated using continuous integration tool Jenkins. Finally the test application was used to evaluate functionality of the integration and compare different JMS providers and various versions of JBoss AS.
|
|
|
Integration of Jenkins CI with Undertow
Barteček, Jakub ; Letko, Zdeněk (referee) ; Müller, Petr (advisor)
This master's thesis deals with replacement of the servlet container in Jenkins CI with server Undertow. In the thesis, general information about programs, which are related to this topic, are described and current state of the servlet container is analyzed. The result is newly created servlet container for Jenkins CI. Both versions of the Jenkins CI were performance tested and the new version gave better results.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
Making CLIPS Available from Ruby
Čecho, Jaroslav ; Smrčka, Aleš (referee) ; Letko, Zdeněk (advisor)
This thesis describes a library called rbClips that makes CLIPS functionality available from Ruby. CLIPS is a public domain tool for building expert systems that was originally developed in NASA in 90's. The tool itself is written in C but its user interface is very similar to the Lisp language. Ruby is a modern dynamic scripting language that offers programmer flexible syntax, purely object environment, openness of objects and other interesting features. The library is ment to be used to build expert system for detection of a possibly malicious code in an antivirus software.
|
|
|
PHP Framework for Building of Simple Information Systems
Ludwig, Jakub ; Zendulka, Jaroslav (referee) ; Letko, Zdeněk (advisor)
This thesis describes the development of framework for building simple information systems. The work contains a description of various stages of development from analysis of existing PHP frameworks, through acquiring customer requirements (in this case members of the Student's union) on new information system, analysis and design of individual parts of the framework and information system and finally to its implementation and testing. It describes various technologies that were used, such as PHP, JavaScript (jQuery framework), HTML, MySQL and UML. In the conclusion, it tries to summarize the results of the work and outline possible future development of an information system and created framework.
|
|
|
Restaurant Menu for Mobile Phones with Bluetooth
Dzurňák, Tomáš ; Letko, Zdeněk (referee) ; Novosad, Petr (advisor)
The goal of this thesis is to design and implement an application for a mobile phone and a desktop computer, which provides ability to browse a restaurant menu and to make orders. The desktop computer provides information from the restaurant menu and manages new orders. The desktop application is able to communicate with more mobile phones simultaneously. The communications between the mobile phone and the computer is realized with Bluetooh wireless technology. The user interface of the mobile application is designed user-friendly and available in plenty languages. There are suggestions for future development of this project in the end.
|
|
|
Tool for Generating XML Inputs for Testing
Očenáš, Martin ; Letko, Zdeněk (referee) ; Smrčka, Aleš (advisor)
The aim of this bachelor's thesis is to present a tool for automatic generating a set of XML inputs for testing from a given XML scheme. While generating a XML document, the tool aims at different combinations of elements, attributes, and their values. From a user perspective, three scenarios of generating XML documents are provided, each of which requires different level of expertise.
|
guest ::
