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
Fiedor Jan, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
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