Bedingungsiberdeckungstescht

De Bedingungsiberdeckungstescht ghert zue re Grupp vun Iberdeckungsteschts, wu zum Teschte vun Software brucht werre.

S Problem vun de bisherige Iberdeckungsteschts (C1-Test, C2-Test) isch, dass zämmegsetzti, hierarischi Bedingunge nit usreichend teschtet werre.

C3a - Eifachbedingungsiberdeckungstescht

Jedi Variable vun ere Bedingung muess eimol mit true un eimol mit false teschtet werre. Bispil:

     boolean a,b;
     if(a || b) {...}
     Teschtfall 1 wär a=false un b=false. Teschtfall 2 wär a=true un b=true.

C3b - Mehfachbedingungsiberdeckungstescht

Der Tescht betrachtet alli atomare Bedingunge vun re Bedingung. Wenn n Variable in dr Bedingung stihn, deno werre 2^n Kombinatione bildet. Des heisst fir s Bispil obe, dass 4 Teschtfäll bildet werre mien.

C3c - minimaler Mehfachbedingungsiberdeckungstescht

Die Version erstellt meh Teschtfäll wie C3a un winiger wie C3b, indem jedi Bedingung (atomar un zämmegstellt) zue true un zue false usgwärtet wird. Di logisch Struktur wird dodebi berucksichtigt un de C1-Test (Zweigüberdeckungstest) isch vollständig in däm Tescht din. E witerer Punkt isch, dass de C3c-Tescht berechebar isch.

Uvollständigi Uswertung vun ere Bedingung durich d Programmiersproch

Bispil:

     if (a && b) then {...} else { lese b aus }
     Wenn a false isch, deno isch d Belegung vun de Variable b egal.
     z. B. a=false und b=null, den passiert ä Fehler im else-Zweig

Dä Artikel basiert uff ere fräie Übersetzig vum Artikel „Bedingungsüberdeckungstest“ vu de dütsche Wikipedia. E Liste vu de Autore un Versione isch do z finde.