A113 - 13:00 16.12.2010

Letko Zdeněk: Search-based Testing of Concurrent Software
Search-based techniques were successfully applied to many different areas of testing but according to our knowledge there are no works that applies search-based techniques to testing of concurrent software, yet. The talk briefly summaries existing techniques and then introduces a search-based testing of concurrent software. Next, an environment for experimenting with search-based testing of concurrent software called SearchBestie will be described and some preliminary results illustrating its abilities will be shown.

Fiedor Jan: Praktické metody automatizované verifikace paralelních programů
Práce se zabývá výzkumem metod pro verifikaci paralelních programů. Budou stručně shrnuty poznatky právě dokončené rozsáhlé technické zprávy zabývající se klasifikací chyb v paralelních programech a stávajícími metodami jejich detekce. Blíže budou zmíněny některé méně studované typy chyb a nastíněny možnosti jejich řešení.

Hrubá Vendula: Automatické opravování programů a s ním související problémy model checkingu programů
Představení současného stavu práce a nástin dalšího postupu. Náplní vystoupení bude zejména využiti principu přehrávání běhu programu v model checkeru JPF resp. navigace stavovým prostorem do požadovaného stavu a následné použití bounded model checkingu.

Gach Marek: Verifikace systémů pracujících v reálném čase
Běžné používané metody pro verifikaci programů bez časových omezení lze sice s menšími úpravami použít pro verifikaci systémů s časovými omezeními, nicméně jejich efektivita není nejlepší. Na vině je paralelní kompozice procesů a taktéž zanesení do stavové informace diskretizovaného času.
Aktuálně vyvíjený a testovaný přístup je založena na využití techniky popisu a verifikace systémů pomocí Restricted Real-Time Logic (RRTL).
Všechny tyto postupy pro Modechart jsou součástí aktuálně vyvíjeného nástroje VERIF, který bude vykázan jako software.

Winklerová Zdenka: Inteligence skupiny
Prezentace slouží jako obecný úvod do problematiky skupinové inteligence a jako východisko pro specifikaci a přesnou formulaci problému disertační práce na téma Inteligence skupiny (Swarm Intelligence). Autorka obhajuje nutnost globální kooperativní strategie při řešení společné úlohy skupinou agentů a vyvozuje, že podstatou aplikace kooperativní strategie, a tedy skupinové inteligence, je optimalizační problém, jehož řešením je evoluční algoritmus využívající roje částic. Charakteristickou vlastností stávajících algoritmů je předčasná konvergence k sub-optimálnímu řešení. Příčinou je dle autorky skutečnost, že částice v roji nejsou zcela autonomní. Problémem tedy je, zda lze uzpůsobit pravidla chování částice v rámci globální strategie tak, aby částice při svém rozhodování mohla využívat pouze informaci dostupnou uvnitř systému, bez nutnosti vnějšího řízení.