Detail publikace
Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level
Souběžnost, Dynamická analýza, Vkládání šumu, Testování
Cílem článku je umožnit testování a dynamickou analýzu vícevláknových C/C++ programů na binární úrovni založenou na vkládání šumu. Nejprve je probráno několik problémů týkajících se monitorování vícevláknových programů na binární úrovni společně s jejich možnými řešeními. Dále je poskytnut stručný přehled technik pro vkládání šumu společně s návrhem jejich vylepšení pomocí kombinace několika technik pro vkládání šumu v rámci jednoho programu. Předložené myšlenky byly implementovány v prototypovém nástroji s využitím prostředí PIN pro Intel binární soubory a testovány na sadě vícevláknových C/C++ programů. Obdržené experimentální výsledky ospravedlňují navržená řešení a ilustrují efekty použití různých nastavení šumu v rámci vícevláknových C/C++ programů.
@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"
}