Io-10-wyk-toc
Z Studia Informatyczne
Spis treści
- Wprowadzenie do testowania
- Plan wykładów
- Plan wykładu
- Notoryczne błędy
- Notoryczne błędy(1)
- Notoryczne błędy(2)
- Weryfikacja a Walidacja
- Proces weryfikacji i walidacji
- Statyczna i dynamiczna weryfikacja
- Statyczna i dynamiczna V&V
- Cele weryfikacji i walidacji
- Poziom pewności
- Planowanie
- Plan testów oprogramowania
- Czym jest testowanie?
- Czym jest testowanie? – c.d.
- Czym jest testowanie? – c.d.(1)
- Ograniczenia testowania
- Ograniczenia testowania – c.d.
- Ograniczenia testowania – c.d.(1)
- Ograniczenia testowania – c.d.(2)
- Aksjomat antyekstensjonalności
- Aksjomat antydekompozycji
- Aksjomat antykompozycji
- Pokrycie kodu
- Pokrycie instrukcji - przykład
- Pokrycie gałęzi - przykład
- Czarne strony pokrycia kodu
- Czarne strony pokrycia kodu – c.d.
- Testowanie mutacyjne
- Testowanie mutacyjne – przykład
- Rodzaje testów
- Rodzaje testów(1)
- Rodzaje testów(2)
- Rodzaje testów(3)
- Rodzaje testów(4)
- Testowanie regresyjne
- Metody tworzenia testów
- Profil błędów
- Koszt poprawienia błędu
- Testowanie a debugowanie
- Inspekcje a testowanie
- Inspekcje a testowanie – c.d.
- Inspekcje a testowanie – c.d.(1)
- Podsumowanie