Detail publikace

Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs

FIEDOR, J.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VAŠÍČEK, O.; VOJNAR, T. Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs. In Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York: Association for Computing Machinery, 2018. p. 356-359. ISBN: 978-1-4503-5699-2.
Název česky
Pokroky v prostředí ANaConDA pro dynamickou analýzu a testování paralelních programů v C/C++
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Fiedor Jan, Ing., Ph.D. (UITS)
Mužikovská Monika, Ing.
Smrčka Aleš, Ing., Ph.D. (UITS)
Vašíček Ondřej, Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

Dynamic analysis, testing, concurrency, noise injection, PIN

Abstrakt

Článek prezentuje pokroky v prostředí ANaConDA pro dynamickou analýzu a testování paralelních programů v C/C++. ANaConDA obsahuje několik analyzátorů pokrývající detekci časově závislých chyb nad daty, uváznutí a porušení kontraktů a umožňuje jednoduchou tvorbu nových analyzátorů. Ke zvýšení počtu možných proložení vláken ANaConDA nabízí různé techniky vkládání šumu. Prostředí ANaConDA provádí analýzu na binární úrovni, a proto ke své činnosti nevyžaduje zdrojové soubory analyzovaného programu. Kromě mnoha akademických experimentů byla ANaConDA úspěšně aplikována k odhalení různých chyb v průmyslu.

Rok
2018
Strany
356–359
Sborník
Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
Konference
27th ACM SIGSOFT International Symposium on Software Testing and Analysis, Amsterdam, NL
ISBN
978-1-4503-5699-2
Vydavatel
Association for Computing Machinery
Místo
New York
DOI
10.1145/3213846.3229505
UT WoS
000612724200033
EID Scopus
2-s2.0-85051470615
BibTeX 
@inproceedings{BUT155009,
  author="Jan {Fiedor} and Monika {Mužikovská} and Aleš {Smrčka} and Ondřej {Vašíček} and Tomáš {Vojnar}",
  title="Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs",
  booktitle="Proceedings of 27th ACM SIGSOFT International Symposium  on  Software Testing and Analysis",
  year="2018",
  pages="356--359",
  publisher="Association for Computing Machinery",
  address="New York",
  doi="10.1145/3213846.3229505",
  isbn="978-1-4503-5699-2",
  url="https://dl.acm.org/citation.cfm?doid=3213846.3229505"
}
Nahoru