CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Seminars @ CITI  \  Seminar Page Login  
banner bottom
File Top
Advances in Noise-based Testing of Concurrent Programs
{ Wed, 28 May 2014, 14h00 }

By: Zdenek Letko  [ hide info ]

Zdenek Letko

Country: Czech Republic

Affiliation: Brno University of Technology ( CZ )


Zdenek Letko is currently a postdoc at FIT, Brno University of Technology, Czech Republic. He received his education at BUT (Bc. Information Technology 2005, Msc. Intelligent Systems 2008, PhD. Analysis and Testing of Multi-threaded Programs 2012). Zdenek focuses primarily on testing and dynamic analysis of multi-threaded programs including transaction memory programs and secondary on application of meta-heuristics and data mining techniques in various problems. Zdenek has published over 15 refereed publications and he has been involved in several Czech and international research projects including the EU COST and STREP projects.

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.

Hosted by: Computer Systems

Location: DI seminars room

File Bottom