Detail publikace

Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics

KŘENA, B.; ŠIMKOVÁ, H.; UR, S.; VOJNAR, T. 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. p. 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
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS)
Šimková Hana, Mgr. Bc., Ph.D.
Ur Shmuel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

parallel programs, noise-based testing, concurrency metrics, lasso algorithm, prediction

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
Svazek
10672
ISBN
978-3-319-74726-2
Vydavatel
Springer International Publishing
Místo
Las Palmas
DOI
10.1007/978-3-319-74727-9_12
UT WoS
000531202800012
EID Scopus
2-s2.0-85041701672
BibTeX 
@inproceedings{BUT146280,
  author="Bohuslav {Křena} and Hana {Šimková} and Shmuel {Ur} and Tomáš {Vojnar}",
  title="Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics",
  booktitle="Computer Aided Systems Theory - EUROCAST 2017",
  year="2018",
  series="16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II",
  volume="10672",
  pages="99--108",
  publisher="Springer International Publishing",
  address="Las Palmas",
  doi="10.1007/978-3-319-74727-9\{_}12",
  isbn="978-3-319-74726-2",
  url="https://www.fit.vut.cz/research/publication/11650/"
}
Nahoru