TESTING OF MULTITHREADED APPLICATIONS WITH LOCKS ON NON-ATOMIC VARIABLES

TESTING OF MULTITHREADED APPLICATIONS WITH LOCKS ON NON-ATOMIC VARIABLES

Subject of Research.The paper presents the study of fuzz testing algorithm for “data race” type fault finding in multithreaded software. The algorithm is implemented in the Google TSan tool. The disadvantage of the studied algorithm is the inability to test software products which use non-atomic...

Full description

Bibliographic Details
Main Authors: Oleg V. Doronin, Karina I. Dergun, Andrey M. Dergachev, Aglaia G. Ilina, Sergei P. Gorlatch
Format: Article
Language:English
Published: Saint Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO University) 2020-04-01
Series:Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki
Subjects:
multithreading
data race
deadlock
error finding tools
Online Access:https://ntv.ifmo.ru/file/article/19524.pdf

Internet

https://ntv.ifmo.ru/file/article/19524.pdf

Similar Items