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

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ě.

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