|
|
Lab tasks for dynamic code analysis
Košina, Petr ; Přinosil, Jiří (referee) ; Sysel, Petr (advisor)
The thesis focuses on static and dynamic analysis in software engineering. Static analysis involves examining the source code without executing it, whereas dynamic analysis focuses on executing the code and testing its runtime behavior. The thesis explores various techniques and tools for both types of analysis, including their advantages and limitations. Additionally, the content includes research on the implementation of dynamic code analysis methods across different operating systems. Emphasis is placed on comparing both methods and their application in real-world software environments. Specifically, it provides practical laboratory exercises designed to help students better understand the issues related to dynamic analysis.
|
|
|
Automatic Testing of the BeeeOn System
Wolfert, Richard ; Hujňák, Ondřej (referee) ; Viktorin, Jan (advisor)
This Master's thesis is about analysis of Internet of Things project BeeeOn, design and production of unit, integration and system tests and their automation by utilization of Continuous integration system Jenkins CI. The theoretical part is devoted to software testing fundamentals and Continuous integration systems. The main point of this thesis is about specification and description of BeeeOn system, its requirements for automatic testing and its implementation. In conclusion, the results of this work and expansion possibilities are discussed.
|
|
|
C++ Arbitrary Precision Floating Point Library
Závada, Vladislav ; Šnobl, Pavel (referee) ; Hruška, Tomáš (advisor)
This thesis deals with the design of a floating point module, which allows to perform operations with floating point operands that have any bit width. For this purpose, the module is implemented as a template class in C ++. The module is designed to allow it to be used when designing an application-specific processor. First, the floating point number and template functions in c ++ are described. In the practical part the algorithms of the individual operations and the design of the module itself are described as template libraries.
|
|
|
Automatic Testing of JavaScript Restrictor Project
Bednář, Martin ; Pluskal, Jan (referee) ; Polčák, Libor (advisor)
The aim of the thesis was to design, implement and evaluate the results of automatic tests for the JavaScript Restrictor project, which is being developed as a web browser extension. The tests are divided into three levels - unit, integration, and system. The Unit Tests verify the behavior of individual features, the Integration Tests verify the correct wrapping of browser API endpoints, and the System Tests check that the extension does not suppress the desired functionality of web pages. The System Tests are implemented for parallel execution in a distributed environment which has succeeded in achieving an almost directly proportional reduction in time with respect to the number of the tested nodes. The benefit of this work is detection of previously unknown errors in the JavaScript Restrictor extension and provision of the necessary information that allowed to fix some of the detected bugs.
|
|
|
Automated Testing of Fitcrack System
Chripko, Juraj ; Polčák, Libor (referee) ; Hranický, Radek (advisor)
This thesis aims to design and implement automated tests for Fitcrack, distributed password cracking system based on BOINC platfrom. White-box testing is used, specifically requirements-based testing. At the begining of the thesis, general testing practices are explained, followed by principles of requirement based testing which is the basis of practical part. Thesis also includes a description of the Fitcrack architecture, the design of tests, selected details of the implementation and chapter about testing itself and tests results.
|
|
|
Web Interface for Task Management and Monitoring on Supercomputers
Dančák, Petr ; Jaroš, Jiří (referee) ; Jaroš, Marta (advisor)
Bachelor's thesis focuses on web development process to create interface for k-Dispatch system, with which we can monitor, create and edit existing tasks, users, machines, allocations and groups. Web design was created based on web content layout principle and object grouping based on similarities principle. Comparison of usable tools is in design procedure section. Implementation uses mainly written in Python3 language with usage of Flask framework, which is helpful with processing requests and user authentication. Furthermore in implementation are used languages as HTML, JavaScript, Jinja2 and other. For test phase were used unit tests together with Selenium interface and user testing.
|
|
|
Testování systému pro chytré město
Matuška, Jan
The thesis deals with testing and security analysis of a smart city web application, created to manage smart watermeters and streetlights. Testing the application at all levels and implementing security headers should improve the security of the application and increase its sustainability.
|
|
| |
|
|
Web Interface for Task Management and Monitoring on Supercomputers
Dančák, Petr ; Jaroš, Jiří (referee) ; Jaroš, Marta (advisor)
Bachelor's thesis focuses on web development process to create interface for k-Dispatch system, with which we can monitor, create and edit existing tasks, users, machines, allocations and groups. Web design was created based on web content layout principle and object grouping based on similarities principle. Comparison of usable tools is in design procedure section. Implementation uses mainly written in Python3 language with usage of Flask framework, which is helpful with processing requests and user authentication. Furthermore in implementation are used languages as HTML, JavaScript, Jinja2 and other. For test phase were used unit tests together with Selenium interface and user testing.
|
|
|
Automatic Testing of JavaScript Restrictor Project
Bednář, Martin ; Pluskal, Jan (referee) ; Polčák, Libor (advisor)
The aim of the thesis was to design, implement and evaluate the results of automatic tests for the JavaScript Restrictor project, which is being developed as a web browser extension. The tests are divided into three levels - unit, integration, and system. The Unit Tests verify the behavior of individual features, the Integration Tests verify the correct wrapping of browser API endpoints, and the System Tests check that the extension does not suppress the desired functionality of web pages. The System Tests are implemented for parallel execution in a distributed environment which has succeeded in achieving an almost directly proportional reduction in time with respect to the number of the tested nodes. The benefit of this work is detection of previously unknown errors in the JavaScript Restrictor extension and provision of the necessary information that allowed to fix some of the detected bugs.
|
guest ::
