Článek ve sborníku konference

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. Las Palmas: Springer International Publishing, 2018, s. 99-108. ISBN 978-3-319-74726-2.
Jazyk publikace:angličtina
Název publikace:Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics
Název (cs):Predikce pokrytí drahých paralelních metril použitím levných metrik
Strany:99-108
Sborník:Computer Aided Systems Theory - EUROCAST 2017
Konference:Sixteenth International Conference on Computer Aided Systems Theory
Řada knih:16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Místo vydání:Las Palmas, ES
Rok:2018
ISBN:978-3-319-74726-2
DOI:10.1007/978-3-319-74727-9_12
Vydavatel:Springer International Publishing
Klíčová slova
parallel programs, noise-based testing, concurrency metrics, lasso algorithm, prediction
Anotace
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11650}
}

Vaše IPv4 adresa: 3.85.143.239
Přepnout na https