navigation
hledat
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
courses:a4m33tvs [2012/01/04 15:15] wallace |
courses:a4m33tvs [2025/01/03 18:23] (aktuální) |
||
|---|---|---|---|
| Řádek 6: | Řádek 6: | ||
| ===== Cvičení ===== | ===== Cvičení ===== | ||
| + | Skript do systému Mathematica, který velmi zjenodušuje řešení statistického testovaní: {{:courses:a4m33tvs:tvs-statisticketestovani.zip|}} | ||
| ===== Zkouška ===== | ===== Zkouška ===== | ||
| - | [[courses:a4m33tvs:okruhy|Okruhy otázek]] | + | * [[courses:a4m33tvs:zkouska_040112|Zadání 4.1.2012]] |
| - | ==== Termin 4.1.2012 ==== | + | * [[courses:a4m33tvs:zkouska_190112|Zadání 19.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 === | + | ==== 10.1.2014 ==== |
| - | 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. | + | |
| + | Příklady i otázky generuje náhodně ze seznamu, každý má jiné zadání. Otázky vybírá komplet ze seznamu, lidi teď měli i otázky na statistiku (poslední přednáška, byla 2.1.). | ||
| + | Během teoretické části Mařík a Havel opravovali zadání praktické a nevěnovali auditoriu příliš pozornosti. První část byli dva příklady stejné jako bylo zadání úkolů na cvičení. Já měl ortogonální pole a du cesty. Také někdo měl hledání hlavních cest. O žádném minimu nemluvil a bodoval to dost mírně. | ||
| + | ===== Studijní materiály ===== | ||
| + | * [[courses:a4m33tvs:okruhy|Vypracované okruhy ke zkoušce]] | ||
| + | * {{:courses:a4m33tvs:tvs_priprava_zk.pdf|Souhrn ke zkoušce v PDF}} | ||
| + | * [[ http://www.algoritmy.net/article/24654/Ortogonalni-pole | Algoritmy.net - podrobnejsi text k nekterym prednaskam Marika]] | ||
| ~~DISCUSSION~~ | ~~DISCUSSION~~ | ||
