Bedingungsüberdeckungstest

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

D Bedingungsüberdeckungstescht ghört zur 'ra Grupp vun Überdeckungsteschts, die zuem Teschte vun Software verwendit werde.

Des Problem vun d bisherige Überdeckungsteschts (C1-Test, C2-Test) isch, des zommegsetzti, hierarischi Bedingunge nit usreichend testet werde.

[ändere] C3a - Ifachbdingungsüberdeckungstescht

Jedi Variable vun 'ra Bedingung muess imal mit true un imal mit false testet werde. Bispiel:

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

[ändere] C3b - Mehrfachbdingungsüberdeckungstescht

Der Tescht btrachtit alli atomare Bdingunge vun 'ra Bedingung. Wenn n Variable in der Bedingung stihn, denn werde 2^n Kombinatione gbildet. Des heisst fyr s obig Bispiel, des 4 Teschtfälle gbildet werde müesse.

[ändere] C3c - minimaler Mehrfachbdingungsüberdeckungstescht

Die Version erstellt mehr Teschtfälli als C3a un winiger als C3b, indem jedi Bedingung (atomar un zommegstellt) zue true un zue false usgwärtit wird. Die logisch Schtruktur wird dobi brücksichtigt un d C1-Test (Zweigüberdeckungstest) isch vollständig in däm Tescht enthalte. Ä witerer Punkt isch, des d C3c-Tescht brechenbar isch.

[ändere] Unvollständige Auswertung einer Bedingung durch die Programmiersprache.

Bispiel:

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