• klasy równoważności, wartości brzegowe • tablice decyzyjne, grafy przyczynowo-skutkowe | |||
OPARTE 0 SKŁADNIĘ | |||
(CZARNOSKRZYNKOWE) |
• przejścia pomiędzy stanami (maszyna stanowa) • drzewa klasyfikacji, tablice ortogonalne • pokrycie specyfikacji, pokrycie przypadków użycia • przypadki użycia, testowanie losowe | ||
OPARTE 0 STRUKTURĘ (BIAŁOSKRZYNKOWE) | |||
-> |
• pokrycia przepływu sterowania i danych • testowanie ścieżek (LCSAJ, ścieżki bazowe, CC) | ||
OPARTE NA DOŚWIADCZENIU | |||
• techniki oparte o składnię (np. t. mutacyjne) | |||
I DEFEKTACH |
• taksonomie błędów • zgadywanie błędów • testowanie w oparciu o listy kontrolne • testowanie eksploracyjne • ataki usterkowe | ||
PRZEGLĄDY |
-> | ||
ANALIZA STATYCZNA |
• analiza złożoności, metryki kodu | ||
KODU |
•analiza przepływu sterowania • analiza przepływu danych • zgodność ze standardami programowania | ||
ANALIZA STATYCZNA | |||
ARCHITEKTURY |
• analiza statyczna strony webowej • grafy wywołań | ||
ANALIZA DYNAMICZNA |
• wykrywanie wycieków pamięci • wykrywanie dzikich wskaźników | ||
• analiza wydajności 4/s3 | |||