Result Details

Noise Injection Heuristics for Concurrency Testing

KŘENA, B.; LETKO, Z.; VOJNAR, T. Noise Injection Heuristics for Concurrency Testing. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7119, p. 123-131. ISSN: 0302-9743.
Type
journal article
Language
English
Authors
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
Letko Zdeněk, Ing., Ph.D., FIT (FIT), DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Abstract
Testing of concurrent software is difficult due to
the non-determinism present in scheduling of concurrent threads. Existing
testing approaches tackle this problem either using a modified scheduler which
allows to systematically explore possible scheduling alternatives or using
random or heuristic noise injection which allows to observe different scheduling
scenarios. In this paper, we experimentally compare several existing noise
injection heuristics both from the point of view of coverage of possible
behaviours as well as from the point of view of error discovery probability.
Moreover, we also propose a new noise injection heuristics which uses
concurrency coverage information to decide where to put noise and show that it
can outperform the existing approaches in certain cases.
Keywords

Java, concurrency, testing, coverage, noise injection

Published
2012
Pages
123–131
Journal
Lecture Notes in Computer Science, vol. 2012, no. 7119, ISSN 0302-9743
BibTeX 
@article{BUT91448,
  author="Bohuslav {Křena} and Zdeněk {Letko} and Tomáš {Vojnar}",
  title="Noise Injection Heuristics for Concurrency Testing",
  journal="Lecture Notes in Computer Science",
  year="2012",
  volume="2012",
  number="7119",
  pages="123--131",
  issn="0302-9743",
  url="https://www.fit.vut.cz/research/publication/9725/"
}
Files
Projects
Advanced secured, reliable and adaptive IT, BUT, Vnitřní projekty VUT, FIT-S-11-1, start: 2011-01-01, end: 2013-12-31, completed
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT, COST, OC10009, start: 2010-01-01, end: 2012-12-31, running
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
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
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top