Detail publikace

Analysis and Testing of Concurrent Programs

Originální název

Analysis and Testing of Concurrent Programs

Anglický název

Analysis and Testing of Concurrent Programs

Jazyk

en

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

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

BibTex


@article{BUT103589,
  author="Zdeněk {Letko}",
  title="Analysis and Testing of Concurrent Programs",
  annote="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.",
  address="NEUVEDEN",
  chapter="103589",
  edition="NEUVEDEN",
  howpublished="print",
  institution="NEUVEDEN",
  number="3",
  volume="5",
  year="2013",
  month="september",
  pages="1--8",
  publisher="NEUVEDEN",
  type="journal article - other"
}