Fakulta informačních technologií VUT v Brně

Detail publikace

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

FIEDOR Jan, MUŽIKOVSKÁ Monika, SMRČKA Aleš, VAŠÍČEK Ondřej a VOJNAR Tomáš. 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, s. 356-359. ISBN 978-1-4503-5699-2. Dostupné z: https://dl.acm.org/citation.cfm?doid=3213846.3229505
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
angličtina
Autoři
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Mužikovská Monika, Bc. (FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Vašíček Ondřej (FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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, US
DOI
BibTeX
@INPROCEEDINGS{FITPUB11756,
   author = "Jan Fiedor and Monika Mu\v{z}ikovsk\'{a} and Ale\v{s} Smr\v{c}ka and Ond\v{r}ej Va\v{s}\'{i}\v{c}ek and Tom\'{a}\v{s} Vojnar",
   title = "Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs",
   pages = "356--359",
   booktitle = "Proceedings of 27th ACM SIGSOFT International Symposium  on  Software Testing and Analysis",
   year = 2018,
   location = "New York, US",
   publisher = "Association for Computing Machinery",
   ISBN = "978-1-4503-5699-2",
   doi = "10.1145/3213846.3229505",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11756"
}
Nahoru