Result Details

Advances in Noise-based Testing of Concurrent Programs

FIEDOR, J.; DUDKA, V.; KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. Advances in Noise-based Testing of Concurrent Programs. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2015, vol. 25, no. 3, p. 272-309. ISSN: 1099-1689.
Type
journal article
Language
English
Authors
Abstract

Testing of concurrent software written in programming languages like Java and C/C++ is ahighly challenging task owing to the many possible interactions among threads. Asimple, cheap, and effective approach that addresses this challenge is testing with noise injection, which influences the scheduling so that different interleavings of concurrent actions are witnessed. In this paper, multiple results achieved recently in the area of noise-injection-based testing by the authors are presented in a unified and extended way. In particular, various concurrency coverage metrics are presented first. Then, multiple heuristics for solving the noise placement problem (i.e. where and when to generate noise) as well as the noise seeding problem (i.e. how to generate the noise) are introduced and experimentally evaluated. In addition, several new heuristics are proposed and included into the evaluation too. Recommendations on how to set up noise-based testing for particular scenarios are then given. Finally, anovel use of the genetic algorithm for finding suitable combinations of the many parameters of tests and noise techniques is presented. 

Keywords


testing; dynamic analysis; noise injection; multi-threaded software; coverage metrics; genetic algorithm; meta-heuristic algorithms

URL
Published
2015
Pages
272–309
Journal
SOFTWARE TESTING VERIFICATION & RELIABILITY, vol. 25, no. 3, ISSN 1099-1689
DOI
UT WoS
000353031800005
EID Scopus
BibTeX
@article{BUT119778,
  author="Jan {Fiedor} and Vendula {Dudka} and Bohuslav {Křena} and Zdeněk {Letko} and Shmuel {Ur} and Tomáš {Vojnar}",
  title="Advances in Noise-based Testing of Concurrent Programs",
  journal="SOFTWARE TESTING VERIFICATION & RELIABILITY",
  year="2015",
  volume="25",
  number="3",
  pages="272--309",
  doi="10.1002/stvr.1546",
  issn="0960-0833",
  url="http://onlinelibrary.wiley.com/doi/10.1002/stvr.1546/abstract"
}
Projects
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
Intelligent Testing and Analysis of Concurrent Software, MŠMT, KONTAKT II (2011-2017), LH13265, start: 2013-04-01, end: 2015-03-31, completed
Spolehlivost a bezpečnost v IT, BUT, Vnitřní projekty VUT, FIT-S-14-2486, start: 2014-01-01, end: 2016-12-31, completed
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, Standardní projekty, GAP103/10/0306, start: 2010-01-01, end: 2013-12-31, running
Support of Interdisciplinary Excellence Research Teams Establishment at BUT, EU, OP VK - Oblast podpory 2.3 - Lidské zdroje ve VaV, EE2.3.30.0005, start: 2012-07-01, end: 2015-06-30, completed
Research groups
Departments
Back to top