Intelligent Testing and Analysis of Concurrent Software
Public support
Provider
Ministry of Education, Youth and Sports
Programme
KONTAKT II
Call for proposals
KONTAKT II 3 (SMSM2013LH3)
Main participants
Vysoké učení technické v Brně / Fakulta informačních technologií
Contest type
VS - Public tender
Contract ID
MSMT-6805/2013-311
Alternative language
Project name in Czech
Inteligentní testování a analýza paralelních programů
Annotation in Czech
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.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</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
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
In the project, new methods utilising genetic algorithms and data mining for finding suitable values of parameters of noise generation used for testing of concurrent programs were proposed. Further, several new methods for monitoring transactional memory programs, noise generation, and dynamic detection of improper atomicity of using library functions in concurrent programs were proposed.
Solution timeline
Realization period - beginning
Apr 1, 2013
Realization period - end
Mar 31, 2015
Project status
U - Finished project
Latest support payment
Feb 27, 2015
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP16-MSM-LH-U/01:1
Data delivery date
Oct 9, 2017
Finance
Total approved costs
1,361 thou. CZK
Public financial support
1,361 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK