Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F14%3APU112027" target="_blank" >RIV/00216305:26230/14:PU112027 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-09940-8_8" target="_blank" >http://dx.doi.org/10.1007/978-3-319-09940-8_8</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-09940-8_8" target="_blank" >10.1007/978-3-319-09940-8_8</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software

Popis výsledku v původním jazyce

Testing of multi-threaded programs is a~demanding work due to the many possible thread interleavings one should examine. The noise injection technique helps to increase the number of thread interleavings examined during repeated test executions provided that a~suitable setting of noise injection heuristics is used. The problem of finding such a~setting, i.e., the so called test and noise configuration search problem (TNCS problem), is not easy to solve. In this paper, we show how to apply a~multi-objective genetic algorithm (MOGA) to the TNCS problem. In particular, we focus on generation of TNCS solutions that cover a~high number of distinct interleavings (especially those which are rare) and provide stable results at the same time. To achieve this goal, we study suitable metrics and ways how to suppress effects of non-deterministic thread scheduling on the proposed MOGA-based approach. We also discuss a~choice of a~concrete MOGA and its parameters suitable for our setting.  Finally, we show on a~set of benchmark programs that our approach provides better results when compared to the commonly used random approach as well as to the sooner proposed use of a~single-objective genetic approach.

Název v anglickém jazyce

Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software

Popis výsledku anglicky

Testing of multi-threaded programs is a~demanding work due to the many possible thread interleavings one should examine. The noise injection technique helps to increase the number of thread interleavings examined during repeated test executions provided that a~suitable setting of noise injection heuristics is used. The problem of finding such a~setting, i.e., the so called test and noise configuration search problem (TNCS problem), is not easy to solve. In this paper, we show how to apply a~multi-objective genetic algorithm (MOGA) to the TNCS problem. In particular, we focus on generation of TNCS solutions that cover a~high number of distinct interleavings (especially those which are rare) and provide stable results at the same time. To achieve this goal, we study suitable metrics and ways how to suppress effects of non-deterministic thread scheduling on the proposed MOGA-based approach. We also discuss a~choice of a~concrete MOGA and its parameters suitable for our setting.  Finally, we show on a~set of benchmark programs that our approach provides better results when compared to the commonly used random approach as well as to the sooner proposed use of a~single-objective genetic approach.

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)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

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

SSBSE'14

ISBN

978-3-319-09939-2

ISSN

—

e-ISSN

—

Počet stran výsledku

16

Strana od-do

107-122

Název nakladatele

Springer Verlag

Místo vydání

Heidelberg

Místo konání akce

Fortaleza, Aquiraz, Ceará, Brasil

Datum konání akce

26. 8. 2014

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

WRD - Celosvětová akce

Kód UT WoS článku

000345519200008