|
|
Extraction of Control Flow Graph from LLVM IR Format
Kondula, Václav ; Šoková, Veronika (referee) ; Smrčka, Aleš (advisor)
This Bachelor's thesis deals with design and implementation of control flow graphs extraction from source files in C and C++ language to LLVM IR format. The extractor was implemented as a standalone tool using the LibTooling interface of the Clang compiler. Output of this tool follows the requirements of platform Testos, so it can be used for automated generation of test requirements based on specified coverage criteria.
|
|
|
Analysis of architecture and superstructure possibilities of framework JUnit
Kadeřábek, Martin ; Pecinovský, Rudolf (advisor) ; Pavlíčková, Jarmila (referee)
JUnit is one of the most popular test framework in Java programming language. Its new version is going to come into reality under the name JUnit 5 which introduces new concept and possibilities for writing unit tests. The main subject of my bachelor's thesis is analysis of concept, architecture and superstructure possibilities of developed framework JUnit 5. Thereto is used of interpretation of news launched into the market, which is replenished by demonstration examples. The bachelor's thesis describes and explains new architecture and new possibilities of framework JUnit 5. The first part of the bachelor's thesis describes per unit testing. It's contextualized in software testing and the framework JUnit is classified among other testing frameworks. The second part of the bachelor's thesis deals with new version of framework JUnit and analyses its architecture and its possibilities for writing tests. At the end the recommendation for education purposes is given.
|
|
|
Run-time performance testing in Java
Kotrč, Jaroslav ; Horký, Vojtěch (advisor) ; Tůma, Petr (referee)
This work focuses on relative comparisons of individual method's performance. It is based on Stochastic Performance Logic, which allows to express, for example, that one method runs at most two times longer than another method. These results are more portable than absolute values. It extends standard unit tests with performance assumptions, which are evaluated during actual run-time of a released application. Dynamically added and removed instrumentation is used for automatic modification of the production code. Instrumentation part uses DiSL framework to be able to seamlessly measure even Java system classes. Methods are measured sequentially, the number of concurrently measured methods is dynamically changed and the measurement code is removed as soon as required data are obtained. The results show that this approach may bring appreciably lower overhead peaks than measuring all methods at once. The prototype was compared with JMH tool and the results show that it is able to accurately measure methods running longer than 1 ms. Powered by TCPDF (www.tcpdf.org)
|
|
|
Run-time performance testing in Java
Kotrč, Jaroslav ; Horký, Vojtěch (advisor) ; Tůma, Petr (referee)
This work focuses on relative comparisons of individual methods performance. It is based on Stochastic Performance Logic, which allows to express, for example, that one method runs at most two times longer than another method. This results are more portable than absolute values. It extends standard unit tests with performance assumptions, which are evaluated during actual run-time of a released application. Dynamically added and removed instrumentation is used for automatic modification of the production code. Instrumentation part uses DiSL framework to be able to seamlessly measure even Java system classes. Methods are measured sequentially, number of concurrently measured method is dynamically changed and measurement code is removed as soon as required data are obtained to avoid high overhead. The results show that for processor demanding application this approach may bring up to 3-times lower overhead peaks than measuring all methods at once. Powered by TCPDF (www.tcpdf.org)
|
|
|
Design and Implementation of Continues Integration in Logio Company
Muráň, Michal ; Kreslíková, Jitka (referee) ; Očenášek, Pavel (advisor)
This master's thesis describes the possibility of using a continues integration and testing in real company Logio. The result of thesis is implementation of continuous integration tools Jenkins and specific testing for the company Logio. The theoretical part deals with basic principles, techniques and tools defining continuous integration. Subsequently are describing existing tools designed for PHP programming language. The thesis also analyzes various types and possibilities of application testing. Also explains the problems in product development in company Logio, which are consequence of the need for introducing continues integration techniques. The practical part of thesis describes the implementation of a test framework PwTester and its use in continuous integration. In conclusion, the results are evaluated and outlined the possibility of extension.
|
|
|
Continuous Integration System for the k-Wave Project
Nečas, Radek ; Kešner, Filip (referee) ; Jaroš, Jiří (advisor)
The main goal of this thesis is to describe the implementation of continuous integration into the k-Wave project. The thesis focuses primarily on the version written in the C/C++ language with the usage of the OpenMP library which typically runs on supercomputers. Accordingly, many of popular workflows and approaches ought to be adapted, a few more created. The outcome of the thesis is a complete solution with real and practical usage. The author provides design, tools selection, runtime environment administration and configuration for each one of the used services. Software implementation of the basic framework is used in order to utilize running tests on the supercomputers. Furthermore, the implementation of chosen types of regression and unit tests are performed. Realisation is based on Gitlab and Jenkis services that are running on separated Docker containers.
|
|
|
Unit Testing of a Rendering Engine
Šťastný, Michal ; Milička, Martin (referee) ; Burget, Radek (advisor)
This bachelor thesis is focused on unit testing of a rendering engine using JUnit. The thesis decribes an architecture of a rendering engine CSSBox and familiarization with the tool for unit testing of JUnit. In the thesis is also suggested the framework allowing the creation of tests, including its implementation and implementation of the tests of selected properties of CSS. Finally, there are the evaluation of results of these tests and the suggestion of possible extensions.
|
|
|
Test Result Repository with Web User Interface
Vlasák, Jaroslav ; Letko, Zdeněk (referee) ; Kočí, Radek (advisor)
This thesis deals with the development of a client-server application for Red Hat company. Client participates in testing process of JBoss platform and gets user-defined performance data which sends during testing to the server application by platform independent communication. The server application allows to analyze the received data which can be also compared by several perspectives. These services for data analysis and comparison are accessible for server users using the web client. The server application supports the import of the performance data stored in the XML file and also their export for qVue portal. The client part of the application is implemented in Java and the server application is based on Java EE platform.
|
|
|
Modern J2EE Development Frameworks
Ondrušek, Libor ; Očenášek, Pavel (referee) ; Trchalík, Roman (advisor)
This bachelor thesis should be a simple way to show the usefulness of modern technologies for the development process of advanced enterprise applications. This work wants to introduce simple using of this technologies in practical example. The kernel of this work is theoretical analysis of Java technology, especially development frameworks like Spring and Hibernate. The theoretical part is illustrated by practical implementation.
|
|
|
Frameworks for unit testing in Scala language
Kolmistr, Tomáš ; Pavlíčková, Jarmila (advisor) ; Šlajchrt, Zbyněk (referee)
This thesis deals with frameworks for unit testing in Scala programming language. In total, there are presented five frameworks in the thesis, two of which are designed for unit testing with mock objekt and three without mock objects. The first, theoretical part aims to introduce concepts regarding testing and Scala programming language. In another part of the thesis there are specified criteria for selecting frameworks, including the criteria for subsequent comparison. In the practical part there are written unit tests according to test scenarios and evaluated the comparison of frameworks.
|
guest ::
