Zweigüberdeckungstest

aus Wikipedia, der freien Enzyklopädie

---

Der Zweigüberdeckungstest (engl. Branch Coverage bzw. Decision Coverage), stellenweise auch C1-Test genannt, führt jede Kante im Kontrollflussgraphen mindestens einmal aus. Dabei erreicht der Wahrheitswert jeder Entscheidung im getesteten Modul mindestens einmal true und false. Der Anweisungsüberdeckungstest ist im Zweigüberdeckungstest vollständig enthalten (d.h. mit dem Test auf Zweigüberdeckung testet man automatisch auch auf Anweisungsüberdeckung).

Der Zweigüberdeckungstest gilt als das minimale Testkriterium im Bereich des statischen, steuerflussbasierten Testens.

[Bearbeiten] Vorteil

• Deckt nicht erreichbare Zweige auf. Beispiel:

       int x=1;
       if (x>=1) then {a1;} else {a2;}  <- a2; wird nie erreicht

• Fehlerentdeckungsrate bei ca. 33%. Ein Fünftel davon sind Berechnungsfehler, der Rest sind Steuerflussfehler.

[Bearbeiten] Nachteil

• Abhängigkeiten zwischen Bedingungen werden nicht berücksichtigt
• Schleifen werden nur unzureichend getestet; siehe Pfadüberdeckungstest
• komplexe Verzweigungsbedingungen werden nur schwach getestet