"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 :)

Pyvo testing

By Petr Messner

Pyvo testing

  • 295
Loading comments...