Academic Journals Database
Disseminating quality controlled scientific knowledge

Analysis and Testing of Concurrent Programs

ADD TO MY LIST
 
Author(s): Zdenek Letko

Journal: Information Sciences and Technologies Bulletin of the ACM Slovakia
ISSN 1338-1237

Volume: 5;
Issue: 3;
Start page: 1;
Date: 2013;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

ABSTRACT
In this paper, a methodology for deriving concurrencycoverage metrics which measure how well the synchro-nisation and concurrency-related behaviour of tested pro-grams has been examined is introduced. Next, our experi-ences with testing multi-threaded programs using a noiseinjection technique are discussed showing that there is nosilver bullet among the noise injection techniques. Fi-nally, a novel use of stochastic optimisation algorithms inthe area of concurrency testing is proposed in the formof their application for nding suitable combinations ofvalues of the many parameters of tests and the noise in-jection techniques. The approach has been implementedin a prototype way and tested on a set of benchmark pro-grams, showing its potential to signicantly improve thetesting process.
Affiliate Program      Why do you need a reservation system?