Inteligentní testování a analýza paralelních programů
Cíle projektu
Cílem projektu je přispět výzkumem realizovaným společně se zahraničním partnerem k výraznému zvýšení efektivity, obecnosti a stupně automatizace procesu testování a analýzy vícevláknových programů. Zlepšení efektivnosti bude dosaženo vývojem nových heuristik pro vkládání šumu do plánování paralelních programů, které zvýší pravděpodobnost nalezení chyb v synchronizaci během testování vícevláknových programů. Zvýšení obecnosti bude dosaženo vývojem nových dynamických detekčních algoritmů, které se zaměříi na nové či dosud méně studované synchronizační mechanismy, méně studované třídy chyb, případně na dosud méně podporované třídy programů (např. na dynamickou analýzu paralelních programů na úrovni binárního kódu s využitím vkládání šumu). Vyšší automatizace bude dosaženo využitím optimalizačních algoritmů, tzv. meta-heuristik, a technik dolování z testovacích dat pro automatickou optimalizaci testování vícevláknových programů s ohledem na různá kritéria bez nutnosti manuálního zásahu programátora.
Klíčová slova
Multi-threaded programsConcurrencyTestingVerificationStatic and dynamic analysisNoise injectionMeta-heuristicsGenetic algorithmsGenetic programmingData mining
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
(dle převodníku)10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
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č
Základní informace
Uznané náklady
1 361 tis. Kč
Statní podpora
1 361 tis. Kč
100%
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
CEP
JC - Počítačový hardware a software
Doba řešení
01. 04. 2013 - 31. 03. 2015