Detail

Advances in Noise-based Testing of Concurrent Programs

Testing of concurrent software written in programming languages
like Java and C/C++ is a~highly challenging task due to the many possible
interactions among threads. A~simple, 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 talk, multiple results achieved recently in the area of
noise-injection-based testing are presented. 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. Finally, a~novel use of the genetic
algorithm for finding suitable combinations of the many parameters of tests
and noise techniques is presented. As a part of the talk, the VeriFIT research
group at Faculty of Information Technology (FIT) at Brno University of
Technology (BUT) will be shortly introduced.