Detail publikačního výsledku

Analysis and Testing of Concurrent Programs

LETKO, Z.

Originální název

Analysis and Testing of Concurrent Programs

Anglický název

Analysis and Testing of Concurrent Programs

Druh

Článek recenzovaný mimo WoS a Scopus

Originální abstrakt

In this paper, a methodology for deriving concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined is introduced. Next, our experiences with testing multi-threaded programs using a noise injection
technique are discussed showing that there is no silver bullet among the noise injection techniques. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their
application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.

Anglický abstrakt

In this paper, a methodology for deriving concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined is introduced. Next, our experiences with testing multi-threaded programs using a noise injection
technique are discussed showing that there is no silver bullet among the noise injection techniques. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their
application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.

Klíčová slova

concurrency, testing, noise injection, optimization algorithms

Klíčová slova v angličtině

concurrency, testing, noise injection, optimization algorithms

Autoři

LETKO, Z.

Rok RIV

2014

Vydáno

02.09.2013

ISSN

1338-1237

Periodikum

Information Sciences and Technologies Bulletin of the ACM Slovakia

Svazek

5

Číslo

3

Stát

Slovenská republika

Strany od

1

Strany do

8

Strany počet

8

URL

http://acmbulletin.fiit.stuba.sk/vol5num3.html

BibTex

@article{BUT103589,
  author="Zdeněk {Letko}",
  title="Analysis and Testing of Concurrent Programs",
  journal="Information Sciences and Technologies Bulletin of the ACM Slovakia",
  year="2013",
  volume="5",
  number="3",
  pages="1--8",
  issn="1338-1237",
  url="http://acmbulletin.fiit.stuba.sk/vol5num3.html"
}

Dokumenty

letko_published