Test pokrycia rozgałęzień

Z Wikipedii

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.