|
|
Extraction of Control Flow Graph from Java Bytecode
Sečkařová, Petra ; Kočí, Radek (referee) ; Smrčka, Aleš (advisor)
The most of the analyses evaluating the quality of code are derived from Control Flow Graphs -- CFG. Model-based testing as one of them uses paths found in CFG for generation of test cases. To ease use of a general analysis of CFG, there is a need for CFG to contain instructions of some general instruction set. This work deals with extraction of control flow graphs from Java bytecode, followed by a translation of the instructions inside basic blocks into LLVM IR set. The resulting program is able to reliably extract control flow graphs from a Java program, given in any of its casual forms (.jar archive, .java or .class file). In addition to that, the graphs on output are assembled so, that they can be analyzed in order to generate unit tests.
|
|
|
Nástroj pro podporu manuálních GUI testů
Bednářová, Marie ; Smrčka, Aleš (referee) ; Rogalewicz, Adam (advisor)
Manual testing of application is very effective, but at the same time very time consuming process. This thesis will deal with methods and technologies, which would allow computers to not only record and rerun the process without the human assistance or intervention but also make an outcome of this process, which will be in form of report with results of the task run. In the final solution the method of testing was chosen based on the knowledge of application. Within this thesis the design of framework was created with the help of the WinAppDriver technology, which is able to execute the recorded methods as test runs during which the informations about the process itself are being collected. The final report is made, based on the collected information. The outcome of this thesis is a pair of tools, which can automatically execute specifically designed GUI application tests. There were simultaneously included actions, which are necessary to perform before executing the tests. Therefore the program will be able to operate without the need of human assistance.
|
|
|
A CPU Emulator for Course of Assembly Languages
Charvát, Lukáš ; Samek, Jan (referee) ; Smrčka, Aleš (advisor)
The master thesis discusses the design of an emulator of a CPU architecture instruction set aimed at assembly languages course. While most of nowadays emulators are architecture specific, the emulator proposed in master thesis aims at education and better understanding of assembly languages. The emulator is not limited to a single CPU, but it easily allows defining a purpose-specific architecture and instruction set in order to perform operations upon it and to display its current state.
|
|
|
Test Case Management with Support of BDD
Bložoňová, Barbora ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
This thesis focuses on test management tools and automated testing. The project covers analysis of existing open source tools and proposes its own BDD orientated test management tool in the form of a web service. The project aims to specify and design this application based on the process of Behaviour driven development. The resulting application TestBuDDy allows for test library management. Changes on the test library are projected onto a remote repository of software under test (SUT) and triggers a test run (the test library is being run against SUT by the BDD framework). TestBuDDy is able to save the test run results, parse them into a report and generate and group found issues. The application also allows requirement management and user management. The application is integrated with the CI/CD tool Gitlab CI, the BDD framework JBehave and the issue tracker JIRA. The application is designed to help testers during their work and also to be expandable within the open source community.
|
|
|
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.
|
|
|
Case Study Comparing Model-Driven Approaches to Software Design
Osadský, Lukáš ; Smrčka, Aleš (referee) ; Kočí, Radek (advisor)
This bachelor thesis deals with various approaches to software design and its implementation. The main goal of this thesis is to compare the classical approach of software development to an alternate approach called Model-Driven Engineering (MDE), which is based on abstract models transformations. These two approaches are then demonstrated on a case study of simple conference review system. At the end of the work, the possibilities and limitations of MDE techniques are discussed.
|
|
|
Front-End for Generator of Structured Test Data
Vostřejž, Tomáš ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
The bachelor's thesis deals with the creation of a web application that allows the generation of tree data structures suitable for software testing. The application is divided into client and server part. The client application provides the user with a graphical interface where he creates an input tree data structure in JSON or XML format. It applies appropriate modifications for testing with the possibility of supplying its own criteria for generation. It is implemented using the Angular platform. The server application is used to generate test data and offers a list of available modifications. The Node.js environment and the Express framework are used for implementation. The server application provides a REST interface. Production deployment is provided by the Docker virtualization tool. Both applications are deployed on Heroku servers.
|
|
|
A Tool for Automated Testing of GUI
Vacek, Lukáš ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
Despite of GUI usability and availability is GUI testing quite new specialization technique. Manual testing is often used for verifying of GUI functionality. The aim of this work is to create a tool for testing and controling GUI. By tool is meant library for automated testing of GUI using object recognization method. Library detects basic GUI elements and controls them according to their standard behavior. Object detection depends on image processing and tracing graphic changes while mouse and key events are incoming.
|
|
|
Chaos Testing of the Strimzi Project Using the Litmus Platform
Zrnčík, Henrich ; Smrčka, Aleš (referee) ; Vojnar, Tomáš (advisor)
Posledná dekáda v poli softwarového inžinierstva sa niesla v duchu automatizácie a abstrakcie. Vzostup nového spôsobu písania a menežovania softwaru (taktiež známeho ako architektúra mikroslužieb) so sebou taktiež priniesol nové výzvy v rámci zaručovania kvality softwaru. Beh systému v cloudovom prostredí s množstvom komponentov, ktoré sú roztrúsene po rôznych uzloch vyžaduje uvažovanie o závislostiach medzi týmito komponentami a dodatočné testovanie ktoré potvrdí odolnosť systému. Riešením je chaos inžinierstvo, často považované za logický krok po testovaní systému ako celku. Táto práca sa zaoberá riešením problému nedostatočných možností pre aplikáciu chaosu (a to prostredníctvom projektu Litmus) do produktu Apache Kafka, ktorý je nasadený na Kubernetes platforme ako súčasť projektu Strimzi. Inými slovami, aby sme mohli aplikovať chaos na projekte Strimzi, či iných systémoch ktoré ho používajú, musíme vytvoriť úplne nové časti Litmusu. Čo sa samotnej aplikácie chaosu týka, fakt že Strimzi je systém sám o sebe, avšak často súčasť iných systémov, znamená že budeme potrebovať vytvoriť rozšírenejšie riešenia. Práca je zavŕšená výslednými experimentami a potvrdením odolnosťi projektu v reálnom nasadení.
|
|
|
Information System on Smartphone for Teachers
Živnůstka, Ondřej ; Smrčka, Aleš (referee) ; Rozman, Jaroslav (advisor)
This thesis is focused at information systems for basic and high schools and their use on smartphones. The goal is to create aplication for operation systems Android and iOS, which mediates work with school information systems. In the document is described topic of mobile applications and implementation. To create application were used tools PhoneGap and JQuery Mobile and programming languages JavaScript and HTML. Also database and server for communication were created.
|
guest ::
RSS feed.