Faculty of Information Technology, BUT

Publication Details

Analysis and Testing of Concurrent Programs

KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Analysis and Testing of Concurrent Programs. FIT Monograph. Brno: Faculty of Information Technology BUT, 2012. ISBN 978-80-214-4464-5.
Czech title
Analýza a testování vícevláknových programů
Type
monograph
Language
english
Authors
Keywords
software testing, concurrency errors, dynamic analysis,
verification, coverage metrics, noise injection, metaheuristics, genetic algorithms
Abstract
This monograph is based on the dissertation thesis of Zdeněk Letko, supervised by Tomáš Vojnar and co-supervised by Bohuslav Křena.The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their application 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.
Published
2012
Pages
136
Series
FIT Monograph
ISBN
978-80-214-4464-5
Publisher
Faculty of Information Technology BUT
Place
Brno, CZ
BibTeX
@BOOK{FITPUB10229,
   author = "Bohuslav K\v{r}ena and Zden\v{e}k Letko and Tom\'{a}\v{s} Vojnar",
   title = "Analysis and Testing of Concurrent Programs",
   pages = 136,
   series = "FIT Monograph",
   year = 2012,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "978-80-214-4464-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10229"
}
Back to top