|
|
Dynamic Analyzers for SearchBestie Platform
Janoušek, Martin ; Češka, Milan (referee) ; Smrčka, Aleš (advisor)
This master thesis deals with the design and implementation of dynamic analyzer of parametrized contracts . In the first part of the thesis , the problematics of testing of parallel programs are discussed and issues when dealing with parallelism are described . Further , methods how to reveal concurrency bugs via dynamic analysis are described , in particular FastTrack and Contract validator. The second part of the thesis proposes an extension for RoadRunner framework and SearchBestie platform for contract validator with parameters.
|
|
|
Parametric Contracts for Concurrency in Java Programs
Žárský, Jan ; Křena, Bohuslav (referee) ; Smrčka, Aleš (advisor)
Contracts for concurrency describe required atomicity of method sequences in concurrent programs. This work proposes a dynamic analyzer to verify programs written in Java against contracts for concurrency. The analyzer was designed to detect violations of parametric contracts with spoilers. The proposed analyzer was implemented as an extension to the RoadRunner framework. Support for accessing the method arguments and return values was added to RoadRunner as a part of the solution. The analyzer was fully implemented and verified on a set of testing programs.
|
|
|
Design of a simulation environment for testing the operation of autonomous vehicles
Šůstek, Jan ; Krejsa, Jiří (referee) ; Věchet, Stanislav (advisor)
This thesis deals with the design of simulation environment for testing autonomous vehicles. In the theoretical part, the search of available autonomous driving simulators was carried out. Furthermore, the tools commonly used in autonomous vehicles such as sensors or software modules were presented. In the practical part, the CARLA simulator was selected from the available solutions. Firstly, the installation of CARLA simulator is explained. Then, the simulation map was created by the Roadrunner to simulate a specific street in Brno. Afterwards, the work with the CARLA simulator is shown. Finally, the work with the CARLA simulator is evaluated and the concrete outputs of simulation are shown.
|
|
|
Parametric Contracts for Concurrency in Java Programs
Žárský, Jan ; Křena, Bohuslav (referee) ; Smrčka, Aleš (advisor)
Contracts for concurrency describe required atomicity of method sequences in concurrent programs. This work proposes a dynamic analyzer to verify programs written in Java against contracts for concurrency. The analyzer was designed to detect violations of parametric contracts with spoilers. The proposed analyzer was implemented as an extension to the RoadRunner framework. Support for accessing the method arguments and return values was added to RoadRunner as a part of the solution. The analyzer was fully implemented and verified on a set of testing programs.
|
|
|
Dynamic Analyzers for SearchBestie Platform
Janoušek, Martin ; Češka, Milan (referee) ; Smrčka, Aleš (advisor)
This master thesis deals with the design and implementation of dynamic analyzer of parametrized contracts . In the first part of the thesis , the problematics of testing of parallel programs are discussed and issues when dealing with parallelism are described . Further , methods how to reveal concurrency bugs via dynamic analysis are described , in particular FastTrack and Contract validator. The second part of the thesis proposes an extension for RoadRunner framework and SearchBestie platform for contract validator with parameters.
|
guest ::
