Original title: Dynamické analyzátory pro platformu SearchBestie
Translated title: Dynamic Analyzers for SearchBestie Platform
Authors: Janoušek, Martin ; Češka, Milan (referee) ; Smrčka, Aleš (advisor)
Document type: Master’s theses
Year: 2017
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]
Tato diplomová práce se zabývá návrhem a implementací dynamického analyzátoru kontraktů s parametry. V první části práce je představena problematika testování paralelních programů, včetně metod testování a chyb, které se mohou v těchto programech nacházet. Podrobněji se zabývá metodou dynamické analýzy a věnuje se konkrétním dynamickým analyzátorům, jako jsou FastTrack nebo analyzátor kontraktů. Ve druhé části práce je popsán návrh a implementace dynamického analyzátoru kontraktů pro framework RoadRunner a platformu Searchbestie . 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.
Keywords: contract analyzer; Dynamic analysis; RoadRunner; SearchBestie; testing of parallel programs; analyzátor kontraktů; Dynamická analýza; Road Runner; SearchBestie; testování paralelních programů

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/69577

Permalink: http://www.nusl.cz/ntk/nusl-363883


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses