"Neobvyklé" testovací techniky

Petr Messner

petr@Leadhub.co

Testování po dvojicích

(párové testování)

Ideální plán: otestovat všechny kombinace

Praktický plán: pokrýt všechny kombinace všech dvojic

Image source: https://cw.fel.cvut.cz/wiki/courses/a4m33tvs

Návrh testů řízený modelem

Image source: https://cw.fel.cvut.cz/wiki/courses/a4m33tvs

Návrh testů řízený modelem

Image source: https://cw.fel.cvut.cz/wiki/courses/a4m33tvs

Skryté stavy

Image source: https://cw.fel.cvut.cz/wiki/courses/a4m33tvs

Formální verifikace

- matematický model systému

- specifikace požadavků

- dokazování vět

- matematická logika, temporální logika

Formální verifikace

Formální verifikace

Síťová komunikace

Díky za pozornost :)