Popis a srovnání V a W modelů procesu testování – vysvětlení statického testování a jeho role ve W modelu. Popis jednotlivých metod statického testování.
Model Based Testing (MBT) – vysvětlení principu, srovnání výhod a nevýhod s manuálním testováním. Příklady modelů použitelných v MBT. Vztah MBT k automatizaci testování.
Automatizace testování – hlavní principy a ekonomika. Možné úrovně automatizace testů. Příklady hlavních přístupů a technologií pro automatizaci testování.
Třídy ekvivalence a mezní hodnoty – princip Combinatorial Interaction Testing. Kombinatorická exploze, efektivní redukce kombinací vstupních dat. Princip pairwise (2-way) a N-way testování.
Testování založené na cestách – formální definice systémového modelu a kritérií pokrytí testu (pokrytí uzlů/hran, pokrytí dvojic hran, pokrytí primárních cest). Prioritizace procesních/workflow aktivit a generování testovacích případů.