|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (referee) ; Sekanina, Lukáš (referee) ; Vojnar, Tomáš (advisor)
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledky ukazují, že nová heuristika překonává ty existující v určitých případech. Nakonec práce představuje inovativní aplikaci stochastických optimalizačních algoritmů v procesu testování vícevláknových aplikací. Principem metody je hledání vhodných kombinací parametrů testů a metod vkládání šumu. Tato metoda byla prototypově implementována a otestována na množině testovacích příkladů. Výsledky ukazují, že metoda má potenciál vyznamně vylepšit testování vícevláknových programů.
|
|
| |
|
|
School of Martial Arts Information System
Lorenc, Ján ; Dudka, Vendula (referee) ; Letko, Zdeněk (advisor)
This bachelor's thesis deals with the creation of an information system for a school of martial arts. It characterizes the concept of information system, it describes the design and implementation of an information system. The work also includes a comparision of several PHP frameworks. Developed system is platform independent and is based on technologies CakePHP, MySQL, HTML, CSS, Javascript.
|
|
|
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.
|
|
|
Centralization of Java Security Policy Management
Kalina, Jan ; Rogalewicz, Adam (referee) ; Letko, Zdeněk (advisor)
WildFly is a platform for distributed environment which meets specification of Java Enterprise Edition. This thesis deals with possibilities of centralized management of security policies in this environment. Security policy is a set of permissions to which the Java virtual machine (JVM) limits possibilities of running applications. Just possibilities of security policy using was in WildFly so far heavily restricted. The result of the thesis are extensions of WildFly which add possibility of central deployment of security policies to individual servers, without need for restart that server, into program interface of WildFly and into WildFly management console. Part of result is also patch of core of WildFly, which solve problem of exchange security policy at runtime of JVM.
|
|
|
Java.math Package Benchmark
Frýz, Pavel ; Letko, Zdeněk (referee) ; Dudka, Vendula (advisor)
The aim of this work is to compare the performance of different implementation of java virtual machine, when using package java.math. The classes BigInteger and BigDecimal are described. Existing benchmarks for measuring the performance of a java virtual machine are also described. The work also describes in detail the hardware and operation system used for performing benchmarks. A tool for the benchmarking performence of implementation of classes BigInteger and BigDecimal has been developed. Finally, the analysis and the discussion upon the results of benchmarks has been made.
|
|
|
Planning Task Monitoring System
Maga, Martin ; Müller, Petr (referee) ; Letko, Zdeněk (advisor)
Task of this bachelor work is to create system for monitoring of statuses of planned jobs according to requirements defined by sponsor Red Hat. The main target is to understand what planning problem means, how can be defined, stored to system, how to initiate his planning and to monitor progress. Planning system has been split to the 2 parts. The first part is user interface build up based on technologies JavaServer Faces, RichFaces a Twitter Bootstrap which allows recording, beginning and put on hold of running jobs. The second part represents web service with combination of technology Enterprise JavaBeans which processes requirements for beginning/put on hold of planning run accomplishes with utilization of framework OptaPlanner, planning progress is being stored to MySQL database. Information about planning problems is obtained from this database and continuously is being displayed in user interface. For implementation both parts has been used platform Java Enterprise Edition 6 and has been deployed in application server JBoss. System has been tested on artificial planning problem N Queen and practical problems from Red Hat company cloud balancing and travelling tournament on platform UNIX via cloud service OpenShift by users.
|
|
|
Use Firebird Database in JBoss Application Server
Maruniak, Lukáš ; Fiedor, Jan (referee) ; Letko, Zdeněk (advisor)
The task was to propose a solution for the Firebird database connectivity to JBoss aplication server.The work deals with configuring source code of JBoss application server so it could work with Firebird database, including procedure for the preparation of environment and implementation enterprise aplication.In conclusion of the work there are analyzed and shown misconfigurations.
|
|
| |
|
|
Temporal Logics for a Man
Žilka, Lukáš ; Letko, Zdeněk (referee) ; Smrčka, Aleš (advisor)
The work deals with the automated translation of a natural language to temporal logic. Existing research attempts are summarized and built upon. For specificating the temporal properties a subset of English is introduced. The main contribution of the work is the proposed algorithm of translation of a property in the given language to LTL temporal logic, based on processing of and finding patterns in grammatical dependencies of The Stanford English Parser. Future research directions are discussed at the end.
|
guest ::
