All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
LH13265

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