Detail publikace

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

FIEDOR, J. VOJNAR, T.

Originální název

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

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

Concurrency, Dynamic Analysis, Noise Injection, Testing

Autoři

FIEDOR, J.; VOJNAR, T.

Rok RIV

2012

Vydáno

13. 6. 2012

Nakladatel

Association for Computing Machinery

Místo

New York

ISBN

978-1-4503-1456-5

Kniha

PADTAD '12

Edice

Proceedings of the 10th Workshop on Parallel and Distributed Systems

Strany od

36

Strany do

46

Strany počet

11

BibTex

@inproceedings{BUT97000,
  author="Jan {Fiedor} and Tomáš {Vojnar}",
  title="Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level",
  booktitle="PADTAD '12",
  year="2012",
  series="Proceedings of the 10th Workshop on Parallel and Distributed Systems",
  pages="36--46",
  publisher="Association for Computing Machinery",
  address="New York",
  isbn="978-1-4503-1456-5"
}