 | | | | | |||||||
| | | | | |||||||
| |
| | | |||||||
| | | | | |||||||
| | | | |
|
Methodisches Testen von Programmen |
Der Algorithmiker CLAUS V. stellt die Behauptung auf, daß folgendes Verfahren drei eingegebene natürliche Zahlen aufsteigend sortiert:
Lösungsalgorithmus:
Eingabe: x, y, z {natürliche Zahlen}
WENN x>y DANN vertausche x mit y
WENN y>z DANN vertausche y mit z
Ausgabe: x, y, z
PASCAL-Programm:
(vgl. R: BAUMANN; Informatik für die Sekundarstufe II, Bd. 1; S. 183ff.)
Gegeben sei folgende Spezifikation:
Das Zeichen in Spalte 1 muß A oder B sein.
Das Zeichen in Spalte 2 muß eine Ziffer sein.
Unter diesen Umständen wird die Ergänzung einer
Datei durchgeführt.
Ist das erste Zeichen nicht korrekt, so wird die Meldung
X12 ausgegeben.
Ist das zweite Zeichen keine Ziffer, so wird die Meldung
X13 ausgegeben.
zurück zu STRATEGIE ZUM ENTWERFEN VON TESTFÄLLEN
|
