Beispiel für White-Box-Tests II

Pi2.om

PROCEDURE NextStep(VAR a, b: REAL); VAR x, tmp: REAL; BEGIN IF a > b THEN tmp := b; b := a; a := tmp; END; IF (Math.Cos(a) < 0) & (Math.Cos(b) > 0) THEN a := 1; b := 3; END; x := (a + b) / 2; IF Math.Cos(x) > 0 THEN a := x; ELSE b := x; END; END NextStep;

Diese Implementierung enthält einen Mangel: In der zweiten IF-Anweisung wird & anstelle von OR verwendet.

Um die Abdeckung der folgenden Testfälle zu analysieren, werden folgende Abkürzungen verwendet:

A Vertauschungs-Anweisung innerhalb des ersten IF

B wird anstelle von A angegeben, wenn nicht vertauscht wird

C Programmtext, der a und b zu 1 und 3 setzt

D C wird nicht ausgeführt

E a := x innerhalb der letzten IF-Anweisung

F b := x im ELSE-Teil der letzten IF-Anweisung