Noise Injection Heuristics for Concurrency Testing

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F12%3APU98156" target="_blank" >RIV/00216305:26230/12:PU98156 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Noise Injection Heuristics for Concurrency Testing

Popis výsledku v původním jazyce

Testing of concurrent software is difficult due tothe non-determinism present in scheduling of concurrent threads. Existingtesting approaches tackle this problem either using a modified scheduler whichallows to systematically explore possible schedulingalternatives or usingrandom or heuristic noise injection which allows to observe different schedulingscenarios. In this paper, we experimentally compare several existing noiseinjection heuristics both from the point of view of coverage of possiblebehaviours as well as from the point of view of error discovery probability.Moreover, we also propose a new noise injection heuristics which usesconcurrency coverage information to decide where to put noise and show that itcan outperform the existing approachesin certain cases.

Název v anglickém jazyce

Noise Injection Heuristics for Concurrency Testing

Popis výsledku anglicky

Testing of concurrent software is difficult due tothe non-determinism present in scheduling of concurrent threads. Existingtesting approaches tackle this problem either using a modified scheduler whichallows to systematically explore possible schedulingalternatives or usingrandom or heuristic noise injection which allows to observe different schedulingscenarios. In this paper, we experimentally compare several existing noiseinjection heuristics both from the point of view of coverage of possiblebehaviours as well as from the point of view of error discovery probability.Moreover, we also propose a new noise injection heuristics which usesconcurrency coverage information to decide where to put noise and show that itcan outperform the existing approachesin certain cases.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

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>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

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 periodika

Lecture Notes in Computer Science

ISSN

0302-9743

e-ISSN

—

Svazek periodika

2012

Číslo periodika v rámci svazku

7119

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

8

Strana od-do

123-131

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—