Instrumentace Java programů, kontrakty pro paralelismus

Autor:	Žárský, Jan
Jazyk:	čeština
Rok vydání:	2021
Předmět:	instrumentation RoadRunner Java dynamic analysis Java bytecode verifikace softwaru kontrakty pro paralelismus contracts for concurrency instrumentace concurrent programming Java bajtkód dynamická analýza software verification vícevláknové programování
Druh dokumentu:	masterThesis
Popis:	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.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://www.nusl.cz/ntk/nusl-445489 Zobrazit plný text záznamu