====== Zkouška 4.1.2012 ======
Skuska sa skladala z dvoch casti. 1. cast dva priklady, 2. cast 4 teoreticke otazky. Na kazdu cast bola hodinova casova dotacia.
===== Priklady =====
Seria prikladov cislo 4.\\
==== 4.1: Latinske stvorce ====
Sekvencia 4 akcii:\\ 
1. Akcia: New, Open\\
2. Akcia: Select, SelectAll, SelectChar\\
3. Akcia: Bold, Cursive, Italics\\
4. Akcia: Save, SaveAs\\
Ulohou bolo vytvorit odpovedajuce latinske stvorce a vytvorit subor testov.\\ 
2 z testov prelozit do jazyka programatora. (Pr. 0210 - sekvencia akcii New, SelectChar, Cursive, Save)\\
==== 4.2: DefUse Cesty ====
Bol dany predpis funkcie v Java kode.\\
1. Vytvorit graf  - jednoducho graficky znazornit; je dobre si naznacit na hrany, kde sa dana premenna definuje a kde sa pouziva.\\
2. Vypisat DU cesty pre danu premennu (v mojom pripade c999).\\

===== Teoria - Test #30 =====
1. Strukturovane testovanie. Testovanie toku riadenia: Zakladne typy testovacich modelov.\\
2. Overovanie modelov (Model Checking): Casovy automat a jeho semantika.\\
3. Temporalna logika. LTL logika a jej temporalne operatory.\\
4. Statisticke testovanie softwaru: Propagacia kovariancnej matice - implicitny vztah.  


~~DISCUSSION~~