|
|
Object Usage Analyser for TypeScript
Pácal, Michal ; Husák, Robert (advisor) ; Škoda, Petr (referee)
During a programming change task, developers often need to understand where a certain variable or object is referenced and how it is used in order to implement the change. For languages TypeScript and JavaScript the only available tools to find these points of interest are tools to find variable and property references and to display a call tree. These tools, however, start losing viability in larger codebases, where they can return hundreds or even thousands of results sorted only by the source file names. In this thesis, we have developed an extension for Visual Studio Code that finds these references and categorise them into groups based on usage. It can also perform similar analysis on call arguments based on the position of the argument. We evaluated our solution and showcased it in several real-world use cases.
|
|
|
Code Assertions Verification Using Backward Symbolic Execution
Husák, Robert ; Kofroň, Jan (advisor) ; Parízek, Pavel (referee)
In order to prevent, detect and fix errors in software, various tools for programmers are available, while some of them are able to reason about the behaviour of the program. In the case of C# programming language, the main representatives are Microsoft FxCop, Code Contracts and Pex. Those tools can, indeed, help to build a highly reliable software. However, when a company wants to include them in the software development process, there is a significant overhead involved. Therefore, we created a "light- weight" assertion verification tool called AskTheCode that can help the user to focus on a particular problem at a time that needs to be solved. Because of its goal-driven approach, we decided to implement it using backward symbolic execution. Although it can currently handle only basic C# statements and data types, the evaluation against the existing tools shows that it has the potential to eventually provide significant added value to the user once developed further. Powered by TCPDF (www.tcpdf.org)
|
|
| |
|
|
Interoperability of compiled PHP framework with .NET environment and package management
Horký, Filip ; Husák, Robert (advisor) ; Kofroň, Jan (referee)
PHP language has been dominating the web development industry for a long time now. Each major PHP framework brings together a large community and a solid codebase, providing features and tools that make the PHP web application devel- opment even simpler. Joining this vast world with .NET is an aim of Peachpie, PHP compiler to .NET. This provides means to use Symfony framework in .NET, yielding advantages for both the PHP developers striving for more security and the .NET programmers lacking third-party content. Doing so with plain Peachpie compiler, however, brings problem of actual usability of the features Symfony pro- vides. Each project would require to recompile Symfony Components again and thus result in both time overhead and tedious manual configuration. This thesis shows it is possible to improve this process and enable intuitive usage of Sym- fony framework in the .NET environment. It denotes utilities for semi-automatic compilation of the Symfony Components into the NuGet packages and migration of simple Symfony applications to .NET. Furthermore, it provides tools for ad- ditional interoperability between Twig and Razor template engines, and a set of examples of its actual usage.
|
|
|
Performance testing suite for Unity DOTS
Borufka, Roman ; Gemrot, Jakub (advisor) ; Husák, Robert (referee)
Game developers are searching for new ways of writing high performance code in order to adapt to trends in hardware development. Unity's relatively new DOTS system has introduced a new way, how to write code in order to fully exploit all aspects of modern processors, e.g. multithreading or SIMD instructions. The thesis focuses on creation of a generally-usable performance testing suite in order to benchmark the performance of various features of Unity DOTS system. Based on the results of the benchmarks a list of recommendations for writing high-performance solutions in Unity is compiled. The recommendations are evaluated in a real-time boids simulation.
|
|
|
Farm data management
Dolník, Marián ; Kofroň, Jan (advisor) ; Husák, Robert (referee)
Title: Farm data management Author: Marián Dolník Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Jan Kofroň, Ph.D., Department of Distributed and Dependable Systems Abstract: The purpose of this bachelor is to design and implement an application which would simplify work organization on a farm by recording information about pickers, their logging data, and by further processing of these data. This software project consists of a mobile and a web applications and a synchronization unit. The purpose of the synchronization unit is to synchronize data of the local mobile database with the data from the main database. The mobile application has the purpose of storing the data. Collecting the data is executed by user interface, allowing one to define data by choosing a value of the required attributes. Among other functions, the mobile application allows the user to work with already existing data (filter data by multiple conditions, remove data, collect data in order to obtain statistics, synchronize data with the main database). The web application displays and manages worker's data. It creates the statistics about worker's efficiency and field's fertility. It defines access rights, which provides the users with access to specific parts of the web application, optionally allowing...
|
|
|
Quadrotor 3D Intuitive Flying
Husák, Robert ; Plch, Tomáš (advisor) ; Obdržálek, David (referee)
The Rotor-based Unmanned Aerial Vehicle (R-UAV) is a robotic aerial plat- form capable of Vertical Take-Off and Landing. It is commonly controlled by a "two stick" interface common to radio controlled models of ships and airplanes. However, this method of control proves to be difficult to learn and master in the domain of R-UAV. Therefore, we examined other control devices: smartphone, gamepad, joystick, 3DConnection SpaceNavigator and Novint Falcon. They were used by 19 volunteers to perform two simple navigation scenarios with AR.Drone, a small R-UAV from Parrot. We separated the pilots into two groups, based on their experience with the R-UAV remote control. We measured the time needed for each device to fulfill every task, including the number of unwanted collisions with obstacles, as well as the pilot's satisfaction with it. According to the results of the experiment, joystick and smartphone proved to be less intuitive and effec- tive among all pilots, especially the inexperienced. Gamepad seemed to be most usable for experienced pilots, although the inexperienced had problems distribut- ing control between two hands, as we expected. 3DConnexion, SpaceNavigator and Novint Falcon were rated the best devices for inexperienced users.
|
|
|
Code Assertions Verification Using Backward Symbolic Execution
Husák, Robert ; Kofroň, Jan (advisor) ; Parízek, Pavel (referee)
In order to prevent, detect and fix errors in software, various tools for programmers are available, while some of them are able to reason about the behaviour of the program. In the case of C# programming language, the main representatives are Microsoft FxCop, Code Contracts and Pex. Those tools can, indeed, help to build a highly reliable software. However, when a company wants to include them in the software development process, there is a significant overhead involved. Therefore, we created a "light- weight" assertion verification tool called AskTheCode that can help the user to focus on a particular problem at a time that needs to be solved. Because of its goal-driven approach, we decided to implement it using backward symbolic execution. Although it can currently handle only basic C# statements and data types, the evaluation against the existing tools shows that it has the potential to eventually provide significant added value to the user once developed further. Powered by TCPDF (www.tcpdf.org)
|
guest ::
