Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
LETKO, Z.
Originální název
Analysis and Testing of Concurrent Programs
Typ
článek v časopise - ostatní, Jost
Jazyk
angličtina
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.
Klíčová slova
concurrency, testing, noise injection, optimization algorithms
Autoři
Rok RIV
2013
Vydáno
2. 9. 2013
ISSN
1338-1237
Periodikum
Information Sciences and Technologies Bulletin of the ACM Slovakia
Ročník
5
Číslo
3
Stát
Slovenská republika
Strany od
1
Strany do
8
Strany počet
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.pdf