A113 - 13:00 12.4.2012

Jan Fajkus: Systémy pro zvýšení bezpečnosti provozu na pozemních komunikacích
Cílem práce je návrh systému, umožňujícího zlepšit průjezdnost pozemních komunikací a zvýšit bezpečnost provozu. Předpokládá se využití bezdrátových ad-hoc sítí mezi vozidly a uzlů komunikujících s dopravním značením. Součástí prezentace bude shrnutí mého působení na fakultě a vědecké práce.

Zdeněk Letko: Search-based Testing of Concurrent Programs
Testing of concurrent programs using a noise injection technique is a cheap and easy to use approach. But, our experiments show that there is no silver bullet among noise injection and noise seeding heuristics. Effectivity of the noise injection is highly dependent on the test case and testing environment. Therefore, we develop an approach that applies stochastic optimisation algorithms to the problem of setting noise injection heuristics during the testing process. In this talk, an overview of our new concurrency coverage metrics is given. Then, a new coverage-based noise injection heuristics is introduced and compared with some of existing noise injection heuristics and their combinations. Finally, our search-based testing process is introduced.

David Martinek: Dynamické softwarové architektury
Prezentace se zabývá řešením dynamických simulačních úloh, tedy takových, kde se zadání může měnit v průběhu simulace. Konkrétně se zaměřuji na návrh simulačního prostředí pro řešení úloh dynamického plánování, kde se využívá vnořených simulací pro výběr nejvhodnějších plánů dalších akcí.