Před testem bylo řečeno, že tento předmět nedovoluje velkou variabilitu v otázkách; je to jenom jedna přednáška za čtrnáct dní. Jde tedy čekat, že na náhradním termínu bude prakticky stejný test, a nejspíš se nebude test moc lišit ani mezi ročníky přednášky.
Dvě otázky jsem si stihl zaznamenat téměř doslova, včetně odpovědí, u zbytku jen rámcově znění otázky. Tučné odpovědi jsou ty, kterém jsem zvolil, kurzívou jsou mé komentáře.
- Mechanismy RPC zpravidla generují proxy/stub podle signatury volané procedury. Jak ji lze pro tyto účely popsat?
- deklarace z jazyka aplikace (Tímhle si nejsem jistý. V principu to ale smysl dává.)
- speciální jazyk pro popis signatur
- deklarace z jazyka aplikace, doplněná o nezbytné anotace
- deklarace v obecném datovém formátu (např. XML)
- introspekce přeloženého kódu
- Jaké funkce jsou typicky dostupné v middleware pro komunikaci zprávami v distribuovaném prostředí?
- zaslání zprávy typované jako strukturovaný datový typ
- otevření streamu bytů mezi procesy
- odeslání zprávy s čekáním na doručení
- odeslání zprávy bez čekání na doručení
- odeslání zprávy zašifrované pro příjem konkrétním procesem
- Co je to throughput?
- Jaké druhy performance counters neexistují?
- Co neplatí pro model určený pro verifikaci? (Určitě nepostihuje všechny detaily. Model pro generování kódu by naopak musel.)
- Jaké jsou problematické aspekty model checkingu? (Model checking není inherentně exponenciálně těžký, problematická je exponenciální velikost stavového prostoru.)
- Jaké existují behavior diagrams v UML? (Výběr z konkrétních.)
- Jaké charakteristiky mají interní DSL?
- Co platí o hard RT systémech?
- Která z tvrzení platí pro periodické plánování úloh?
Odpovědi se snažily být koncipované tak, aby bylo potřeba trochu přemýšlet. Ne všechno zaznělo na přednášce explicitně, často bylo potřeba domyslet jednoduché důsledky.