Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F18%3APU127294" target="_blank" >RIV/00216305:26230/18:PU127294 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.fit.vut.cz/research/publication/11650/" target="_blank" >https://www.fit.vut.cz/research/publication/11650/</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-74727-9_12" target="_blank" >10.1007/978-3-319-74727-9_12</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics

Popis výsledku v původním jazyce

Testing of concurrent programs is difficult since the scheduling non-determinism requires one to test a huge number of different thread interleavings. Moreover, a simple repetition of test executions will typically examine similar interleavings only. One popular way how to deal with this problem is to use the noise injection approach, which is, however, parametrized with many parameters whose suitable values are difficult to find. To find such values, one needs to run many experiments and use some metric to evaluate them. Measuring the achieved coverage can, however, slow down the experiments. To minimize this problem, we show that there are correlations between metrics of different cost and that one can find a suitable test and noise setting to maximize coverage under a costly metrics by experiments with a cheaper metrics.

Název v anglickém jazyce

Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics

Popis výsledku anglicky

Testing of concurrent programs is difficult since the scheduling non-determinism requires one to test a huge number of different thread interleavings. Moreover, a simple repetition of test executions will typically examine similar interleavings only. One popular way how to deal with this problem is to use the noise injection approach, which is, however, parametrized with many parameters whose suitable values are difficult to find. To find such values, one needs to run many experiments and use some metric to evaluate them. Measuring the achieved coverage can, however, slow down the experiments. To minimize this problem, we show that there are correlations between metrics of different cost and that one can find a suitable test and noise setting to maximize coverage under a costly metrics by experiments with a cheaper metrics.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Computer Aided Systems Theory - EUROCAST 2017

ISBN

978-3-319-74726-2

ISSN

—

e-ISSN

—

Počet stran výsledku

10

Strana od-do

99-108

Název nakladatele

Springer International Publishing

Místo vydání

Las Palmas

Místo konání akce

Las Palmas de Gran Canaria

Datum konání akce

19. 2. 2017

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000531202800012