1.12 Testfälle

► |  | Sprachebenen und Material zu Schreibe Dein Programm! / Die Macht der Abstraktion

1 | Die Macht der Abstraktion - Anfänger
2 | Die Macht der Abstraktion
3 | Die Macht der Abstraktion mit Zuweisungen
4 | Die Macht der Abstraktion fortgeschritten
5 | Konstruktionsanleitungen 1 bis 10
6 | Bilder konstruieren: "image.ss"
7 | Animationen: "world.ss"
8 | Turtle-Grafik: "turtle.ss"
9 | Abspielen von Audio-Dateien: "sound.ss"
10 | 3D-Liniengraphik: "line3d.ss"
11 | DMd A: Sprachen als Libraries
| Index

▼ | 1 | Die Macht der Abstraktion - Anfänger

1.1 | Definitionen
1.2 | Record-Typ-Definitionen
1.3 | Prozedurapplikation
1.4 | #t and #f
1.5 | lambda / λ
1.6 | Bezeichner
1.7 | cond
1.8 | if
1.9 | and
1.10 | or
1.11 | Signaturen
1.12 | Testfälle
1.13 | Pattern-Matching
1.14 | Parametrische Record-Typ-Definitionen
1.15 | Eigenschaften
1.16 | Primitive Operationen

On this page:

check-expect
check-within
check-member-of
check-satisfied
check-range
check-error
check-property

top ← prev up next →

#### 1.12`` Testfälle

> syntax (check-expect expr expr)

Dieser Testfall überprüft, ob der erste expr den gleichen Wert hat wie der zweite expr, wobei das zweite expr meist ein Literal ist.

> syntax (check-within expr expr expr)

Wie check-expect, aber mit einem weiteren Ausdruck, der als Wert eine Zahl delta hat. Der Testfall überprüft, daß jede Zahl im Resultat des ersten expr maximal um delta von der entsprechenden Zahl im zweiten expr abweicht.

> syntax (check-member-of expr expr ...)

Ähnlich wie check-expect: Der Testfall überprüft, daß das Resultat des ersten Operanden gleich dem Wert eines der folgenden Operanden ist.

> syntax (check-satisfied expr pred)

Ähnlich wie check-expect: Der Testfall überprüft, ob der Wert des Ausdrucks expr vom Prädikat pred erfüllt wird - das bedeutet, daß die Prozedur pred den Wert #t liefert, wenn sie auf den Wert von expr angewendet wird.

Der folgende Test wird also bestanden:

> (check-satisfied 1 odd?)

Der folgende Test hingegen wird hingegen nicht bestanden:

> (check-satisfied 1 even?)

> syntax (check-range expr expr expr)

Ähnlich wie check-expect: Alle drei Operanden müssen Zahlen sein. Der Testfall überprüft, ob die erste Zahl zwischen der zweiten und der dritten liegt (inklusive).

> syntax (check-error expr expr)

Dieser Testfall überprüft, ob der erste expr einen Fehler produziert, wobei die Fehlermeldung der Zeichenkette entspricht, die der Wert des zweiten expr ist.

> syntax (check-property expr)

Dieser Testfall überprüft experimentell, ob die Eigenschaft expr erfüllt ist. Dazu werden zufällige Werte für die mit for-all quantifizierten Variablen eingesetzt: Damit wird überprüft, ob die Bedingung gilt.

Wichtig: check-property funktioniert nur für Eigenschaften, bei denen aus den Signaturen sinnvoll Werte generiert werden können. Dies ist für die meisten eingebauten Signaturen der Fall, aber nicht für Signaturvariablen und Signaturen, die mit predicate oder define-record-procedures definiert wurden - wohl aber für Signaturen, die mit dem durch define-record-procedures-parametric definierten Signaturkonstruktor erzeugt wurden.

top ← prev up next →