====== Testování a verifikace software ======

  * [[http://labe.felk.cvut.cz/~marikr/teaching/A4M33TVS_11/A4M33TVS.htm|Stránky předmětu]]
  * Přednášející: Radek Mařík
  * Cvičící: Radek Mařík, Ivan Havel

===== Cvičení =====
Skript do systému Mathematica, který velmi zjenodušuje řešení statistického testovaní: {{:courses:a4m33tvs:tvs-statisticketestovani.zip|}}


===== Zkouška =====

  * [[courses:a4m33tvs:zkouska_040112|Zadání 4.1.2012]]
  * [[courses:a4m33tvs:zkouska_190112|Zadání 19.1.2012]]

==== 10.1.2014 ====

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~~