Sylabus
Pojem chyby software, kategorizace chyb. Specifikace zadání. Nemožnost algoritmického testování software.
Rozdíl mezi zakázkovým a krabicovým software.
Metody testování konfigurací.
Metody testování uživatelského rozhraní.
Metody testování černé, šedé a bílé skříňky. Důvody pro "tmavší" testování.
Metody efektivizace testování bílé skříňky. Invarianty a jejich omezení, vnitřní standardy, sladění procesu kompilace se standardy.
Testování testů. (Pokrytí kódu, testování mutací.)
Testování přechodů mezi verzemi software.
Vývoj a testování specifikací.
Vývoj a testování dokumentace.
Anotace
Testování software, metody vývoje software usnadňující jeho zavádění.