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{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" }