Testování a verifikace software

• Stránky předmětu
• Přednášející: Radek Mařík
• Cvičící: Radek Mařík, Ivan Havel

Skript do systému Mathematica, který velmi zjenodušuje řešení statistického testovaní: tvs-statisticketestovani.zip

• Zadání 4.1.2012
• 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.

• Vypracované okruhy ke zkoušce
• Souhrn ke zkoušce v PDF
• Algoritmy.net - podrobnejsi text k nekterym prednaskam Marika