Publication detail

Analysis and Testing of Concurrent Programs

LETKO, Z.

Original Title

Analysis and Testing of Concurrent Programs

Type

journal article - other

Language

English

Original Abstract

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 injectiontechnique 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 theirapplication 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.

Keywords

concurrency, testing, noise injection, optimization algorithms

Authors

LETKO, Z.

RIV year

2013

Released

2. 9. 2013

ISBN

1338-1237

Periodical

Information Sciences and Technologies Bulletin of the ACM Slovakia

Year of study

5

Number

3

State

Slovak Republic

Pages from

1

Pages to

8

Pages count

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"
}

Documents

letko_published.pdf