"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
