Faculty of Information Technology, BUT

Publication Details

Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level

FIEDOR Jan and VOJNAR Tomáš. Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level. In: PADTAD '12. Proceedings of the 10th Workshop on Parallel and Distributed Systems. New York: Association for Computing Machinery, 2012, pp. 36-46. ISBN 978-1-4503-1456-5.
Czech title
Testování a analýza vícevláknových C/C++ programů na binární úrovni založená na vkládání šumu
Type
conference paper
Language
english
Authors
Keywords
Concurrency, Dynamic Analysis, Noise Injection, Testing
Abstract
This paper aims at allowing noise-based testing and dynamic analysis of multi-threaded C/C++ programs on the binary level. First, several problems of monitoring multi-threaded C/C++ programs on the binary level are discussed together with their possible solutions. Next, a brief overview of noise injection techniques is provided along with a proposal of improving them using a fine-grained combination of several noise injection techniques within a single program. The proposed ideas have been implemented in a prototype way using the PIN framework for Intel binaries and tested on a~set of multi-threaded C/C++ programs. The obtained experimental evidence justifying the proposed solutions and illustrating the effect of various noise settings in the context of multi-threaded C/C++ programs is discussed.
Published
2012
Pages
36-46
Proceedings
PADTAD '12
Series
Proceedings of the 10th Workshop on Parallel and Distributed Systems
Conference
10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012)/2012 International Symposium on Software Testing and Analysis (ISSTA 2012), Minneapolis, MN, US
ISBN
978-1-4503-1456-5
Publisher
Association for Computing Machinery
Place
New York, US
BibTeX
@INPROCEEDINGS{FITPUB10068,
   author = "Jan Fiedor and Tom\'{a}\v{s} Vojnar",
   title = "Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level",
   pages = "36--46",
   booktitle = "PADTAD '12",
   series = "Proceedings of the 10th Workshop on Parallel and Distributed Systems",
   year = 2012,
   location = "New York, US",
   publisher = "Association for Computing Machinery",
   ISBN = "978-1-4503-1456-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10068"
}
Back to top