Test pokrycia rozgałęzień

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

Test pokrycia rozgałęzień, zwany C1-Test, wykonuje co najmniej raz każdą krawędź (gałąź) w grafie przepływu sterowania. Przy tym każda decyzja w rozgałęzieniach w grafie osiąga przynajmniej raz wartość "true" i przynajmniej raz "false". Test pokrycia rozgałęzień zawiera całkowicie test pokrycia instrukcji programu. Test pokrycia rozgałęzień jest minimalnym kryterium testowym w obszarze statycznego testowania opartego na przepływie sterowania.

Zalety

  • Wykrywa nieosiągalne gałęzie. Przykład
int x=1;
if (x>=1) then
    {a1;}
else
    {a2;}  ←  a2; nieosiągalne

Wskaźnik wykrywalności błędów ok. 33%, jedną piątą z tego stanowią błędy obliczeniowe, reszta to błędy przepływu sterowania.

Wady

  • zależności między pojedynczymi (składowymi) warunkami logicznymi nie są brane pod uwagę.
  • Pętle są niewystarczająco testowane, porównaj z testem pokrycia ścieżek.
  • Skomplikowane warunki logiczne są słabo testowane.