Detail projektu
Inteligentní testování a analýza paralelních programů
Období řešení: 1. 4. 2013 - 31. 3. 2015
Typ projektu: grant
Kód: LH13265
Agentura: Ministerstvo školství, mládeže a tělovýchovy České republiky
Program: KONTAKT II (2011-2017)
Paralelní programy, testování, verifikace, statická a dynamická analýza, vkládání šumu, meta-heuristiky, genetické algoritmy, genetické programování, dolování dat.
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.
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Dudka Vendula, Ing. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
2015
- FIEDOR Jan, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel a VOJNAR Tomáš. Advances in Noise-based Testing of Concurrent Programs. Software Testing, Verification and Reliability, roč. 25, č. 3, 2015, s. 272-309. ISSN 1099-1689. Detail
- FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2015, s. 177-178. ISBN 978-84-606-5438-4. Detail
- FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of EUROCAST'15. Lecture Notes in Computer Science, roč. 9520. Heidelberg: Springer Verlag, 2015, s. 555-564. ISBN 978-3-319-27339-6. Detail
- FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. On Monitoring C/C++ Transactional Memory Programs. In: Proceedings of MEMICS'14. Lecture Notes in Computer Science, roč. 8934. Heidelberg: Springer Verlag, 2015, s. 73-87. ISBN 978-3-319-14895-3. Detail
2014
- AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš a VOLKOVICH Zeev. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. In: Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014, s. 15-27. ISBN 978-80-214-5022-6. Detail
- DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana a VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. In: SSBSE'14. Lecture Notes in Computer Science, roč. 8636. Heidelberg: Springer Verlag, 2014, s. 107-122. ISBN 978-3-319-09939-2. Detail
- DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana a VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. Proceedings of MEMICS'14. Brno, 2014. Detail