Suche Home Einstellungen Anmelden Hilfe  

 

Methodisches Testen von Programmen 

Beispiel 1:

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.)

 

Beispiel 2:

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.

 

Bemerkungen

zurück zu STRATEGIE ZUM ENTWERFEN VON TESTFÄLLEN

zurück zur Startseite

 

Benutzer: Gast • Besitzer: seminar • Zuletzt geändert am: