|
|
Implementace kalendáře událostí
Kozovský, Daniel ; Hrubý, Martin (oponent) ; Peringer, Petr (vedoucí práce)
Táto práca sa zaoberá vytvorením knižnice v C++, ktorá implementuje rôzne varianty kalendára udalostí, ktorý sa používa na riadenia diskrétnych simulácií. Knižnica zahŕňa deväť rôznych implementácií kalendára udalostí, ktoré sú prístupné cez jednotné rozhranie. Toto rozhranie je navrhnuté tak, aby bolo jednoduché knižnicu rozšíriť o ďalšie implementácie. Okrem samotnej knižnice sa práca zaoberá aj návrhom a popisom testovacej aplikácie a zhodnotením časových zložitostí jednotlivých implementácií.
|
|
|
Použití statické analýzy pro detekci chyb v obsluze signálů
Kozovský, Daniel ; Vojnar, Tomáš (oponent) ; Peringer, Petr (vedoucí práce)
Táto práca sa zaoberá zásuvným modulom csigsafe pre prekladač GCC. Používa statickú analýzu programov na odhalenie chýb v obsluhe signálov podla normy POSIX. Tento nástroj analyzuje zdrojové súbory v jazyku C a C++. Tento analyzátor je vytvorený pre firmu Red Hat, ktorá ho používa na testovanie sRPM balíkov určených do ich Linuxových distribúcii. Nástroj bol testovaný na vzorku 37 projektoch s volne šíriteľnými zdrojmi. Z testovania sa ukázala užitočnosť nástroja pri vyhľadávaní chýb spojených s porušením pravidiel na správnu obsluhu signálov.
|
|
|
Implementace kalendáře událostí
Kozovský, Daniel ; Hrubý, Martin (oponent) ; Peringer, Petr (vedoucí práce)
Táto práca sa zaoberá vytvorením knižnice v C++, ktorá implementuje rôzne varianty kalendára udalostí, ktorý sa používa na riadenia diskrétnych simulácií. Knižnica zahŕňa deväť rôznych implementácií kalendára udalostí, ktoré sú prístupné cez jednotné rozhranie. Toto rozhranie je navrhnuté tak, aby bolo jednoduché knižnicu rozšíriť o ďalšie implementácie. Okrem samotnej knižnice sa práca zaoberá aj návrhom a popisom testovacej aplikácie a zhodnotením časových zložitostí jednotlivých implementácií.
|
|
|
Použití statické analýzy pro detekci chyb v obsluze signálů
Kozovský, Daniel ; Vojnar, Tomáš (oponent) ; Peringer, Petr (vedoucí práce)
Táto práca sa zaoberá zásuvným modulom csigsafe pre prekladač GCC. Používa statickú analýzu programov na odhalenie chýb v obsluhe signálov podla normy POSIX. Tento nástroj analyzuje zdrojové súbory v jazyku C a C++. Tento analyzátor je vytvorený pre firmu Red Hat, ktorá ho používa na testovanie sRPM balíkov určených do ich Linuxových distribúcii. Nástroj bol testovaný na vzorku 37 projektoch s volne šíriteľnými zdrojmi. Z testovania sa ukázala užitočnosť nástroja pri vyhľadávaní chýb spojených s porušením pravidiel na správnu obsluhu signálov.
|
host ::
RSS.