Analysis and Testing of Concurrent Programs
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F13%3APU106449" target="_blank" >RIV/00216305:26230/13:PU106449 - isvavai.cz</a>
Result on the web
<a href="http://acmbulletin.fiit.stuba.sk/vol5num3.html" target="_blank" >http://acmbulletin.fiit.stuba.sk/vol5num3.html</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Analysis and Testing of Concurrent Programs
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>ost</sub> - Miscellaneous article in a specialist periodical
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
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
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Information Sciences and Technologies Bulletin of the ACM Slovakia
ISSN
1338-1237
e-ISSN
—
Volume of the periodical
5
Issue of the periodical within the volume
3
Country of publishing house
SK - SLOVAKIA
Number of pages
8
Pages from-to
1-8
UT code for WoS article
—
EID of the result in the Scopus database
—