Faculty of Information Technology, BUT

Project Details

Inteligentní testování a analýza paralelních programů

Project Period: 01.04.2013 - 31.03.2015

Code: LH13265

Agency: Ministry of Education, Youth and Sports Czech Republic

Program: KONTAKT II (2011-2017)

English title
Intelligent Testing and Analysis of Concurrent Software
Type
grant
Keywords
Multi-threaded programs, Concurrency, Testing, Verification, Static and dynamic analysis, Noise injection, Meta-heuristics, Genetic algorithms, Genetic programming, Data mining.
Abstract
The goal of the project is to conduct a joint research with the Israeli partner that will significantly improve the efficiency, generality, and degree of automation of testing and analysis of multi-threaded programs. Improved efficiency should be achieved by developing new heuristics for injection of noise into thread scheduling which will increase the probability of discovering synchronization-related errors when testing concurrent programs. Increased generality should be achieved by developing new dynamic error detection algorithms, targeting even new and/or so far less studied synchronization mechanisms as well as currently less supported classes of programs (e.g., noise-based dynamic analysis of concurrent binary code). Higher automation should be achieved by employing advanced optimization algorithms (meta-heuristics) and data mining on test data for an automated optimization of the process of testing of concurrent code wrt. various criteria without a need of a manual intervention of testers.
Team members
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , research leader
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , team leader
Dudka Vendula, Ing. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Pluháčková Hana, Mgr. Bc. (UITS FIT VUT)
Sawa Zdeněk, doc. Ing., Ph.D. (FEI VŠB)
Publications

2015

2014

Back to top