Inteligentní testování a analýza paralelních programů
Veřejná podpora
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
Program
KONTAKT II
Veřejná soutěž
KONTAKT II 3 (SMSM2013LH3)
Hlavní účastníci
Vysoké učení technické v Brně / Fakulta informačních technologií
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
MSMT-6805/2013-311
Alternativní jazyk
Název projektu anglicky
Intelligent Testing and Analysis of Concurrent Software
Anotace anglicky
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 beachieved 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.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
JC - Počítačový hardware a software
CEP - vedlejší obor
IN - Informatika
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20206 - Computer hardware and architecture
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
V projektu bylo navrženo několik metod využívajících genetické algoritmy a dolování z dat pro nalezení vhodných hodnot parametrů šumu používaného při testování paralelních programů. Dále bylo navrženo několik nových metod vkládání šumu, metod monitorování programů s transakční pamětí a nová metoda dynamické detekce nesprávné atomičnosti použití knihovních funkcí v paralelních programech.
Termíny řešení
Zahájení řešení
1. 4. 2013
Ukončení řešení
31. 3. 2015
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
27. 2. 2015
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP16-MSM-LH-U/01:1
Datum dodání záznamu
9. 10. 2017
Finance
Celkové uznané náklady
1 361 tis. Kč
Výše podpory ze státního rozpočtu
1 361 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč