Detail publikace

Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics

KŘENA Bohuslav, PLUHÁČKOVÁ Hana, UR Shmuel a VOJNAR Tomáš. Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. In: Computer Aided Systems Theory - EUROCAST 2017. 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II. Las Palmas: Springer International Publishing, 2018, s. 99-108. ISBN 978-3-319-74726-2.
Název česky
Predikce pokrytí drahých paralelních metril použitím levných metrik
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Pluháčková Hana, Mgr. Bc. (UITS FIT VUT)
Ur Shmuel (IBM)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Abstrakt
Testování souběžných programů je obtížné, protože plánování nedeterminismu vyžaduje, aby se otestovalo obrovské množství různých prokládání vláken. Kromě toho jednoduché opakování spouštění testů bude typicky zkoumat pouze podobná prokládání. Jedním z nejoblíbenějších způsobů, jak se s tímto problémem vyrovnat, je použití přístupu založeného na šumu, který je však parametrizován mnoha parametry, jejichž vhodné hodnoty je obtížné najít. Pro zjištění těchto hodnot je třeba spouštět mnoho experimentů a použít k jejich vyhodnocení určitou metriku. Měření dosaženého pokrytí však může zpomalit experimenty. Abychom tento problém minimalizovali, ukážeme, že existují korelace mezi metrikami, které jsou různě časově náročné, a že lze najít vhodné nastavení testu a šumu, aby bylo možné maximalizovat pokrytí pod nákladnými metrikami pomocí experimentů s levnějšími metrikami.
Rok
2018
Strany
99-108
Sborník
Computer Aided Systems Theory - EUROCAST 2017
Řada
16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Konference
Sixteenth International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, ES
ISBN
978-3-319-74726-2
Vydavatel
Springer International Publishing
Místo
Las Palmas, ES
DOI
BibTeX
@INPROCEEDINGS{FITPUB11650,
   author = "Bohuslav K\v{r}ena and Hana Pluh\'{a}\v{c}kov\'{a} and Shmuel Ur and Tom\'{a}\v{s} Vojnar",
   title = "Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics",
   pages = "99--108",
   booktitle = "Computer Aided Systems Theory - EUROCAST 2017",
   series = "16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II",
   year = 2018,
   location = "Las Palmas, ES",
   publisher = "Springer International Publishing",
   ISBN = "978-3-319-74726-2",
   doi = "10.1007/978-3-319-74727-9\_12",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11650"
}
Nahoru