Foliensatz 5

of. G. Kemnitz · Institut für Informatik, Technische Universität Clausthal 13. Juli 2012 22/96
1. Software 2. Testauswahl mit Äquivalenzklassen
x y Beispiel Testauswahl für x
0 ≤ x < 1 y := x 0, 0.5, 0.999
1 ≤ x < 3 y := (x − 2) 2 1, 1.5, 2, 2.7, 2.98
3 ≤ x ≤ 4 y := 3 − x 3, 3,2, 4
sonst Fehlermeldung -100, -0.1, 4.01, 345
Testrahmen mit Testeingaben:
type tRealArray is array (natural range ) of real;
constant xVektor: tRealArray := (0.0, 0.5, ..., 345.0);
variable x, y: real;
...
for idx in xVector’range loop
x := xVector(idx);
y := f(x);
write("x=" & str(x) & " y=" & str(y));
end loop;
Die Testausgaben sind hier manuell zu kontrollieren.