Beispiel für White-Box-Tests

Sei folgende Spezifikation gegeben für einen Programmtext-Abschnitt, der Teil eines Bisektions-Algorithmus sein könnte, der Näherungen für

berechnet:

Eingabe-Parameter sind die Gleitkommazahlen a und b.

Vertausche a und b, es sei denn a <= b.

Setze a und b zu den Werten 1 und 3, es sei denn cos(a) >= 0 und cos(b) <= 0.

Setze x zum arithmetischen Mittel aus a und b.

Setze a zu x, falls cos(x) > 0 und b zu x andernfalls.

Gebe a und b aus.

	Eingabe-Parameter sind die Gleitkommazahlen a und b.
	Vertausche a und b, es sei denn a <= b.
	Setze a und b zu den Werten 1 und 3, es sei denn cos(a) >= 0 und cos(b) <= 0.
	Setze x zum arithmetischen Mittel aus a und b.
	Setze a zu x, falls cos(x) > 0 und b zu x andernfalls.
	Gebe a und b aus.