Zweigüberdeckungstest

Us der alemannische Wikipedia, der freie Dialäkt-Enzyklopedy

Dr Zwiigiberdeckungstescht, zum Deil au C1-Tescht gnonnt, fiert jedi Kante in eme Kontrollflussgraph mindeschtens eimol us. Debi wird jedi Verzwiigung im Graphe zwangslaifig uf wohr un falsch gsetzt. Dr Onwiisungsiberdeckungstescht isch im Zwiigiberdeckungstescht vollschtändig entholte (d.h. mit em Tescht uf Zwiigiberdeckung teschtet mer au automatisch d Onweisungsiberdeckung).

Dr Zwiigiberdeckungstescht isch s minimal Teschtkriterium im Beriich vum schtatische, stejerflussbasierte Teschte.

[ändere] Vorteil

• Deckt nit erreichbari Zwiig uf. Bispil:

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

• Fählerentdeckungsrate isch bi 33%. Ä Fimftel debo sin Berechnungsfehler, dr Rescht sin Schtejerflussfehler.

[ändere] Nochteil

• Abhängigkeite zwische Bedingunge werre nit beruggsichtigt
• Schlife werde numme unzuereichend teschtet; lueg au Pfadiberdeckungtescht
• komplexi Verzwigungsbedingunge werde numme schwach teschtet