|
|
Support for Annotation Driven Testing in Apache Camel
Karásek, Josef ; Kočí, Radek (referee) ; Smrčka, Aleš (advisor)
This thesis project transforms the imperative test configuration in the Apache Camel framework in to a declarative configuration using Java annotations. It introduces the testing component of the Apache Camel framework. The testing component is analysed and new annotations are developed based on the selected methods. Sources of inspiration for this thesis include the JBoss Arquillian and Pax Exam projects.
|
|
|
An Interactive Simulator for Data-flow Graphs
Kovařík, David ; Smrčka, Aleš (referee) ; Charvát, Lukáš (advisor)
Data-flow graphs are often used by hardware designers. Such graph representation is also very useful for performing deeper analysis of a design (including functional or formal verification). Simulator presented in this thesis is a support tool for verification environment HADES. The goal of the simulator is to decrease necessary time and increase quality of the verification process. To perform a simulation efficiently, a specific simulation algorithm which saves computation time by eliminating redundant evaluations has been introduced. The simulator is equiped with several output interfaces connected to a single simulation core. One output interface provides direct simulation output in text format. The second is also textual, but allows user to control the simulation. Finally, the third forms a graphical interface that visualizes simulation results.
|
|
|
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.
|
|
|
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.
|
|
|
Ehanced UNICODE Support for GNU Command Line Utilities
Oprala, Ondrej ; Smrčka, Aleš (referee) ; Peringer, Petr (advisor)
This thesis solves the problem of missing support for proper handling of Unicode input in the utilities of the coreutils project. Support was implemented for utilities cut, expand, fmt, fold, paste and unexpand. The implementation was done using the libunistring and gnulib libraries. Programs were properly tested and performance tests proved that performance is comparable or superior to the original implementation.
|
|
|
Software Versions Management in Containers Deployment
Růžička, Adam ; Kočí, Radek (referee) ; Smrčka, Aleš (advisor)
Cílem této práce je analyzovat požadavky a navrhnout řešení pro využití projektu s otevřeným zdrojovým kódem Katello pro správu softwaru nainstalovaného na obrazech aplikace Docker. Nejprve je diskutováno srovnání virtualizačních technik a následně také různých implementací kontejnerové virtualizace na rozdílných platformách. Následně jsou popsány možnosti využití projektu Katello pro správu verzí softwarových balíků RPM a návrh a implementace samotného systému pro správu obrazů aplikace Docker. Funkcionalita aplikace byla experimentálně testována a ověřena a byly navrženy možnosti pro další rozšíření.
|
|
|
Checker of User Experience Guidelines
Kříž, Vítězslav ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The aim of this work is to create a tool for automated checking the correct characteristics of the user interface. The thesis includes a list of rules from GNOME, KDE and OSX, which are suitable for automatic control. The tool verifies the background elements of the user interface while the user operates the program under test. The rules are ranked according to the severity and outcome of the program is also overall score. The final part contains testing of normally available programs. The application is appropriate for verifying a graphical user interface in development.
|
|
|
Automated Test Documentation Generator for BeakerLib Tests
Kulda, Jiří ; Smrčka, Aleš (referee) ; Vojnar, Tomáš (advisor)
The aim of this work in cooperation with Red Hat Czech company is to design, implement and verify documentation generator for test written using BeakerLib library, which effectively creates documentation from BeakerLib tests without any documentation markup. In the first step generator parses data from every BeakerLib command in the test. Subsequently data are transformed as a natural language information. At the end generator transforms this information into documentation template. In this case an argparse method was used to find possible data from BeakerLib commands. In contrast to existing documentation generators this generator brings a new way of documentary creation from tests without any documentation markup. Thanks to this point of view we can generate documentation, which is created on base of automated understanding of test source code. Through documentation generator development time the generator was tested on three BeakerLib tests. In the end the documentation generator was tested on ten BeakerLib tests which were randomly selected.
|
|
|
Automated Arrangement and Coordination of Processes on the Java Platform
Janyš, Martin ; Smrčka, Aleš (referee) ; Kočí, Radek (advisor)
The subject of this thesis is the topic of the resilience and stability of web applications with a focus on the Java platform. Many existing information systems based not only upon this platform face problems that disturb the stability of applications. These problems may result in the failure, downtime and, consequently, financial or business loss due to the malfunction of the whole service. The aim is to show the problems that the applications face in a production environment and to show how to address them proactively. A possible partial solution to increase the stability may be an appropriate configuration of JVM (Java Virtual Machine), an analysis and corrections of detected errors, or a technique called Sandboxing to increase the stability, which this thesis deals with. Using this technique, it is possible to divide the application into separate parts that cannot influence each other. This prevents the propagation of errors among the parts of the application and thereby increases the stability of the entire application. The target applications include the Java applications made with the help of Spring framework. The Sanboxing technique can be implemented into the applications built this way by means of suitable configuration, which ensures that the application run will be divided into specified parts that will be automatically tested and possibly restarted. The application then recovers itself in the affected areas without a complete failure. The project is called Java Capsules.
|
|
|
Translation of C Expressions to DIMACS Format
Grim, Pavel ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
This work focuses on proposition of transfer of the expressions entered in the C programming language into DIMACS format and creation of program in programming language C++ making this transfer. This work contains a description of the C programming language and its operators. It also contains a description of the conjunctive normal form and a description of the DIMACS format. Following is a proposal for a program for the transfer of expression in the C programming language to the DIMACS format and description of realization of program performing this transfer.
|
guest ::
RSS feed.