====== Metodika testování softwaru. Metody vytváření testů z modelu aplikace. Automatizované testování. ======

[[https://fel.cvut.cz/en/education/bk/predmety/47/01/p4701706.html|BE4M36ZKS]] [[https://moodle.fel.cvut.cz/courses/B4M36ZKS|Webové stránky předmětu]]

  * **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ů.