Zum Inhalt springen

Zwiigiberdeckungstescht

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.

  • 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.
  • Abhängigkeite zwische Bedingunge werre nit beruggsichtigt
  • Schlife werde numme unzuereichend teschtet; lueg au Pfadiberdeckungtescht
  • komplexi Verzwigungsbedingunge werde numme schwach teschtet
Dä Artikel basiert uff ere fräie Übersetzig vum Artikel „Zweigüberdeckungstest“ vu de dütsche Wikipedia. E Liste vu de Autore un Versione isch do z finde.