Inhalt I Einführung in die Programmierungstechnik II Abstrakte ...

P. Forbrig PT - Einführung und Überblick
Inhalt
P. Forbrig PT - Einführung und Überblick
Inhalt
I Einführung in die Programmierungstechnik
II Abstrakte Datentypen
III Suchen
IV Sortieren
V Verifikation
1 Einführung
2 Was ist ein Algorithmus
3 Programmentwicklung
1
2
P. Forbrig PT - Einführung und Überblick
1 Einführung
▲ Gegenstand der Informatik:
• -Struktur, Wirkungsweise, Fähigkeiten und
Konstruktionsprinzipien von Informationssystemen
(Rechnerarchitekturen, Netze, ...) - HARDWARE
• -Struktur, Eigenschaften,
Beschreibungsmöglichkeiten von Informationen und
von Informationsverarbeitungsprozessen
(SOFTWARE, Technologien, gesellschaftl.
Wirkungen)
• -Strukturierung, Formalisierung von Anwendungen,
Modellbildung, Simulation
▲ Basis: Mathematische Modelle
P. Forbrig PT - Einführung und Überblick
1 Einführung
Geschichte, Jura,
Philosophie, ...
Chemie, Physik,
Biologie, ...
Informatik
Carl Friedrich von Weizsäcker:
====
Gesellschaftswissenschaft
Naturwissenschaft
Ingenieurwissenschaft
Elektronik,
Maschinenbau, ...
Mathematik
Strukturwissenschaft
3
4
P. Forbrig PT - Einführung und Überblick
1 Einführung
Was ist Information
• Oxford English Dictionary: "item of knowledge"
• BAUER, GOOS:
" "Nachricht" und "Information" sind
Grundbegriffe der Informatik. Wir führen deshalb
Nachricht und Information als nicht weiter
definierbare Grundbegriffe ein .... "
Zum Verhältnis Information - Nachricht wird weiter
gesagt:
" Die (abstrakte) Information wird durch die
(konkrete) Nachricht mitgeteilt. "
P. Forbrig PT - Einführung und Überblick
1 Einführung
Die Zuordnung Nachricht - Information
Mehrere
Nachrichten
Tür
door
...
=
Eine
Information
ist mehrdeutig:
Nachrichten werden
¡
interpretiert
Die Interpretationsvorschrift muß beim
Nachrichtenaustausch
(Informationsaustausch) dem Sender und Empfänger
bekannt
¢
sein.
Nachrichten sind Symbole für Informationen, deren Bedeutung
erlernt werden muߣ MEHLIS
eine
Nachricht
“ Tür “ war
=
verschiedene
Informationen
“ es war “
“ Krieg “
...
5
6

P. Forbrig PT - Einführung und Überblick
1 Einführung
▲
Es gibt auch Versuche, den Begriff Information nicht als
Grundbegriff zu sehen, sondern weiter zu definieren: Nach
SHANNON 1948 ist
Information die durch den Empfang einer Nachricht beim
¤¦¥
Empfänger eingetretene Verringerung Unbestimmtheit§
der
▲ Nachrichten, die die Unbestimmtheit NICHT ändern, enthalten
keine Information ! ! !
(das ist Empfänger-abhängig)
¨
Redundanz:Enthält eine Nachricht die Information nicht in
©
der kürzest möglichen Form, so
ist ein Teil der Nachricht redundant.
z.B. : Donnerstag, der 20. September 1990
▲ Informationsverarbeitung ist:
• das Senden/Empfangen/Interpretieren von Nachrichten,
• die Berechnung neuer Nachrichten
P. Forbrig PT - Einführung und Überblick
1.1 Was ist Programmierungstechnik
Dieses Wort baut auf zwei Begriffen auf:
Programm - Programmierung Programmierungstechnik
Programm:
Arbeitsvorschrift für einen Rechenautomaten.
endliche Folge von Befehlen für einen abstrakten oder realen
Automaten, die zur Darstellung eines von dem Automaten
zu realisierenden Algorithmus dient.
Programmierung:
Die Aufgabe, einen Algorithmus für die Lösung eines
Problemes zu erstellen, nennt man Programmierung.
Codierung:
Die Herstellung eines Programmes nennt man Codierung.
Technik: siehe Lexikon
7
8
P. Forbrig PT - Einführung und Überblick
1.1 Was ist Programmierungstechnik
P. Forbrig PT - Einführung und Überblick
1.2 Was ist eine (Programmier-) Sprache
Programmierungstechnik:
Gesamtheit der Methoden, Konzepte, Sprachen und
Werkzeuge zur Programmierung
Ziel: bestmögliche Erfüllung der
Güteanforderungen an das Programm
( Programmieren im Kleinen ! ! ! )
• Lexik: bestimmt den Aufbau der
Grundelemente der Sprache (Worte)
• Syntax: gibt die Struktur der Sprache an (alle in
der Sprache zulässigen Ausdrücke)
• Semantik: Zuordnung der Bedeutung zu den
zulässigen Ausdrücken
• Pragmatik: Beziehung der Sprache zum
subjektiven Nutzer
(Lesbarkeit, Erlernbarkeit, ...)
9
10
P. Forbrig PT - Einführung und Überblick
1.2 Was ist eine (Programmier-) Sprache
P. Forbrig PT - Einführung und Überblick
1.2 Was ist eine (Programmier-) Sprache
Im Sinne der Mathematik und auch der Informatik
ist eine Sprache eine Menge von Zeichenreihen.
Die Sprache wird dabei auf Lexik und Syntax
reduziert! Für die Lexik wird der Begriff Alphabet
eingeführt.
Ein Alphabet A ist eine nicht leere, endliche Menge A
von Zeichen a ∈ A
Die Menge aller Zeichenreihen A* über einem
Alphabet A ist definiert durch:
• ε ∈ A* (die leere Zeichenreihe ist eine Zeichenreihe)
• x ∈ A* , a ∈ A ⇒ x . a ∈ A* (= = xa)
• andere Zeichenreihen gibt es nicht
Eine Sprache L ist eine Teilmenge der Menge aller
Zeichenreihen über einem Alphabet A: L ⊂ A*
11
12

P. Forbrig PT - Einführung und Überblick
1.3 Syntaxdiagramme
P. Forbrig PT - Einführung und Überblick
Beispiel:
satz
subjekt
prädikat
objekt
* *
Nichtterminal
subjekt
prädikat
er
* *
wir
lesen
* *
liest
Terminal
objekt
text
*
*
satz
ein Buch
text
*
ODER:
text
* *
13
14
P. Forbrig PT - Einführung und Überblick
1.4 Erweiterte-Backus-Naur-Form (EBNF)
▲ Eine Grammatik G = (Σ, N, P, S) ist definiert
durch:
Eine endliche Menge Σ von terminalen
Symbolen, dem Alphabet der Sprache
Eine endliche Menge N von nichtterminalen
Symbolen
Eine endliche Menge P von Produktionsregeln,
die definiert, wie Nichtterminale durch
Terminale und Nichtterminale definiert sind
Ein ausgewähltes Nichtterminal S, das
Startsymbol
P. Forbrig PT - Einführung und Überblick
1.4 Erweiterte-Backus-Naur-Form (EBNF)
▲ t t t : terminales Symbol,
▲ ist in dieser Form Bestandteil des Satzes einer Sprache.
▲ [ : optionales (null- oder einmaliges) Auftreten der
▲ geklammerten Elemente
▲ { } : null- oder beliebig oftmaliges Auftreten der
▲ geklammerten Elemente
▲ ( ) : Gruppierung von Elementen (einmaliges Auftreten)
▲ | : Trennung von Alternativen
▲ = : Trennung linker von rechter Regelseite.
▲ . : Ende der Regel
▲ Bezeichner : Nichtterminal, wird durch weitere Regeln erklärt.
15
16
P. Forbrig PT - Einführung und Überblick
1.4 Erweiterte-Backus-Naur-Form (EBNF)
P. Forbrig PT - Einführung und Überblick
1.5 Geschichte der Programmiersprachen Erweit
HOPE
HASKELL
▲ bezeichner = buchstabe { buchstabe ziffer .
ML
MIRANDA
LISP
FORTH
ASSEMBLER
C
LOGO
APL
PASCAL
▲ zahl = + - { ziffer } .
BASIC
FORTRAN
COBOL
ALGOL
PEARL
MODULA
PL1
ADA
CHILL
PROLOG
SIMULA67
SMALTALK
OBERON
Eiffel Sather C ++ JAVA
17
18

P. Forbrig PT - Einführung und Überblick
1.5 Geschichte der Programmiersprachen
C FORTRAN
10 IF (A .EQ. B) GOTO 100
IF (A .GT. B) GOTO 50
B=B-A
GOTO 10
50 A=A-B
GOTO 10
100 CONTINUE
’COMMENT’ALGOL 60;
’for’ x: = a ’while’ a < > b ’do’
’if ’ a > b ’then’ a: = a-b ’else’ b: = b - a;
NOTE COBOL
ANFANG .
IF A EQUAL TO B THEN NEXT SENTENCE
ELSE
IF A GREATER B THEN SUBTRACT B FROM A GOTO ANFANG
ELSE SUBTRACT A FROM B GOTO ANFANG .
19
P. Forbrig PT - Einführung und Überblick
1.5 Geschichte der Programmiersprachen
10 REM BASIC :
20 IF A = B THEN 60
30 IF A > B THEN LET A = A - B
40 ELSE LET B = B - A
50 GOTO 20
60 ...
PL/1
DO WHILE (a ¬ = b);
IF A > B THEN a = a - b ;
ELSE b = b - a ;
END ;
’CO’ ALGOL-68 ’CO’
’while’ a < > b ’do’
’ if ’ a > b ’then’ a : = a - b ’else’ b : = b - a ,
/ * C */
while (a ! = b) ;
{ if ( a > b) a - = b ;
else b - = a ;
}
20
P. Forbrig PT - Einführung und Überblick
1.5 Geschichte der Programmiersprachen
P. Forbrig PT - Einführung und Überblick
1.5 Geschichte der Programmiersprachen
LISP:
(DE GGT (A B)
(COND ( ( EQUAL A B) A)
( ( LESSP A B) (GGT A (DIFFERENCE B A) ) )
( (T (GGT (DIFFERENCE A B) B) )
)
)
CDL
’ACTION’ ggt +a + b :
zyklus :
(ungleich+a+b;
(groesser+a+b, sub+a+b+a; sub+b+a+b, : zyklus).
/* PROLOG */
ggt(A, A, A).
ggt(A, B, C): - A > B, A1 is A-B , ggt(A1, B, C).
ggt(A, B, C): - B > A, B1 is B-A , ggt(A, B1, C).
HOPE:
dec ggT : num # num - - > num;
- - ggT(a,b) b then ggT(a-b, b)
else if ab THEN ggT: = ggT(a-b,b)
ELSE IF b>a THEN ggT: = ggT(a,b -a);
END;
Ein Algorithmus formt gegebene Größen
(Eingabeinformation) aufgrund eines Systems
von Regeln (Umformungsregeln) in
Ausgabegrößen (Ausgabeinformation) um.
23
24

P. Forbrig PT - Einführung und Überblick
2 Algorithmus
▲ Das System G der Größen, die ineinander umgearbeitet
werden können, muß notwendigerweise sein: Nat, Real,
Texte, ...
▲ Das Umarbeiten von Größen geht in Arbeitstakten vor
sich. Ein Arbeitstakt ist eine Regelanwendung.
▲ Die Beschreibung muß vollständig sein.
▲ Die Beschreibung muß endlich sein.
▲ Das System der zulässigen Operationen muß gegeben
sein.
▲ Die Sprache, in der die Regeln angegeben sind, muß
bekannt sein.
P. Forbrig PT - Einführung und Überblick
2.1 Primitiv rekursive Funktionen
▲ Die Menge der Natürlichen Zahlen N ist gegeben
durch folgende Axiome:
(1) 0 ist eine Zahl
(2) Jede Zahl hat genau einen Nachfolger
(3) 0 ist nicht Nachfolger einer Zahl
(4) Jede Zahl ist Nachfolger höchstens einer Zahl
(5) Eine Menge M von natürlichen Zahlen, die 0
enthält und mit jeder Zahl auch ihren
Nachfolger, ist mit N identisch.
(PEANO - Axiome)
25
26
P. Forbrig PT - Einführung und Überblick
2.1 Primitiv rekursive Funktionen
P. Forbrig PT - Einführung und Überblick
2.1 Primitiv rekursive Funktionen
▲ Es seien die Abbildungen f(n-stellig) und g(n+2-stellig)
gegeben:
!
f : N n " N
#
g : N n + 2 $ N mit n ∈ N
▲ Eine Funktion h heißt durch primitive Rekursion aus f und
g definiert, falls gilt:
%
h : N n+1 & N
so daß ∀x 1 , ... , x n , y ∈ N gilt:
h(x
'
1 , ... , x n ,0) = f(x 1 , ... , x n )
h(x
(
1
, ... , x n
,y+1) = g(x 1
, ... , x n
, y, h(x 1
, ..., x n
,y) )
(A) Die Ausgangsfunktionen gehören zu dieser Klasse:
Das sind:
(1) Konstante Funktionen C S c ∈ Prim(N) (0 ≤ s, c ∈ N)
C S c (x 1 , ... , x s ) = c
(2) Nachfolgerfunktion: succ(n) = n+1 ∈ Prim(N) n ∈N
(3) Argumentauswahlfunktionen I s δ ∈ Prim(N) (1 ≤ δ ≤ s)
I s δ (x 1 , ... , x s ) = x δ
(B) Die Erzeugungsfunktionen:
(1) Verkettung: Gegeben: g m ,h n 1, ... ,h n m ∈ Prim(N)
Dann ist auch f n ∈ Prim(N) mit :
f(x 1 , ... , x n ) = g(h 1 (x 1 , ... , x n ) , ... , h m (x 1 , ... , x n ) )
(2) Alle mittels Schema der primitiven Rekursion
erzeugten Funktionen gehören zu dieser Klasse.
27
28
P. Forbrig PT - Einführung und Überblick
2.1 Primitiv rekursive Funktionen
▲ ACKERMANN-Funktion eine arithmetische Funktion,
die total und berechenbar, aber nicht primitiv rekursiv
ist.)
ack(0, y) = y + 1
*
+
ack(n+1, 0) = ack(n, 1)
ack(n+1, y+1) = ack(n, ack(n+1,y) )
P. Forbrig PT - Einführung und Überblick
2.2 Terme
Ein Operationsalphabet (auch Signatur) ist ein Paar ( ∑; ar)
mit :
- ∑ ist ein Alphabet ∑ = { F 1
, ... , F m
}
- ar ist eine Abbildung ar: ∑ , N
{ar(F) heißt Stelligkeit (Arität) von F}
n / y 0 1 2 3 4 5
0 1 2 3 4 5 6
1 2 3 4 5 6 7
2 3 5 7 9 11 13
3 5 13 29 61 125 253
4 13 ...
29
Die Menge der n-stelligen Operationssymbole ∑ (n)
wird definiert durch:
∑ (n) = {F ∈∑ (n) | ar(F) = n }
für n ∈ N
statt F ∈ ∑ (n) wird auch F (n) ∈ ∑ geschrieben.
30

P. Forbrig PT - Einführung und Überblick
2.2 Terme
Gegeben seien ein Operationsalphabet (∑ ; ar) und eine Menge
X, deren Elemente Variablen heißen. Dann ist die Menge
T ∑
(X) der ∑ - Terme über X die kleinste Teilmenge von
(∑ ∪ X) * mit :
1. x ∈ X - - > x ∈ T ∑
(X) , Variablen sind Terme
2. t 1 , ... , t n ∈ T ∑
(X) & F ∈∑(n) - - > Ft 1 ... t n ∈ T ∑
(X)
Ft 1 ... t n wird auch notiert als F(t 1 , ... , t n )
P. Forbrig PT - Einführung und Überblick
2.2 Terme
Jeder Term t ∈ T
-
∑
(X) ist entweder atomar,
d.h. t = x ∈X oder t ∈∑ (0)
zusammengesetzt,
t = Ft 1 ... t n mit n ≥ 1.
Bei zusammengesetzten Termen sind
.
F, n und t 1 , ... , t n eindeutig bestimmt.
==> Klammerung nicht notwendig.
oder
d.h.
31
32
P. Forbrig PT - Einführung und Überblick
2.2 Terme
▲ In üblicher Weise formulierter Term : (3*a-7)*(4+b)
▲ In Polnischer Notation
: * - * 3 a 7 + 4 b
Das entspricht: *(-(*(3, a), 7), +(4, b))
/
▲ In Inverse Polnische Notation : 3 a * 7 - 4 b +
0
*
Das entspricht: (((3, a)*, 7)-, (4, b)+)*
▲ Terme lassen sich grafisch veranschaulichen:
*
P. Forbrig PT - Einführung und Überblick
2.2 Terme
(B) Erzeugungsfunktion
(3):Sei F eine n+1-stellige primitiv rekursive Funktion
und es gelte
∀ x 1 , ... , x n (∃y 1 F(x 1 , ... ,x n , y) = 0)
Dann wird eine neue partiell rekursive Funktion
festgelegt:
G(x 1 , ... , x n ) = µ y (F(x 1 , ... , x n , y) = 0)
= Kleinstes y mit F(x 1 , ... , x n , y) = 0
- +
* 7 4 b
3 a
Klasse der partiell rekursiven Funktionen wird durch
A (1) ... (3) und B (1) ... (3) gebildet
33
34
P. Forbrig PT - Einführung und Überblick
2.2 Terme
1 Alles was berechenbar ist, läßt sich durch partiell rekursive
Funktionen berechnen.
2 intuitiver Algorithmenbegriff beschreibt eine Klasse von
Algorithmen, die genau die Klasse der partiell rekursiven
Funktionen realisieren kann.
3 Die Klasse der Partiell rekursiven Funktionen stellt eine
Präzisierung des Algorithmenbegriffes dar.
4 Eine weitere Präzisierung des Algorithmenbegriffes ist die
TURING-Maschine.
P. Forbrig PT - Einführung und Überblick
3 Programmentwicklung
Anforderung
meist verbale
Beschreibung
Sezifikation
oft verbal,
sollte formal sein
Entwurf
Struktogramme,
oder ähnliches
Implementation
Programm
Test
Festlegen der
Eigenschaften
des Programms
Formale Beschreibung
der Programmeigenschaften
Erstellung eines
Algorithmus,
Datenstrukturierung
Codierung des
Algorithmus in einer
Programmiersprache
Soll - Ist -Vergleich
Fehlerbehebung
Nutzung/Wartung
Fehlerbeseitigung,
Anpassung
35
36

P. Forbrig PT - Einführung und Überblick
P. Forbrig PT - Einführung und Überblick
3 Programmentwicklung
Ziel: Ein Programm mit folgenden Eigenschaften:
korrekt Übereinstimmung zwischen Spezifikation,
Programm und Dokumentation
flexibel wartungsfreundlich, nachnutzbar in
ähnlichen Umgeben, anpaßbar an andere
ähnliche Aufgaben
verständlichnutzerverständlich, entwicklerverständlich
stabil stabil gegenüber Eingabe-, Bedienungs-,
Hardwarefehlern
effizient rechentechnisch effizient, nutzereffizient
robust gegen Fehlbedienung geschützt
3 Programmentwicklung
Beispiel:
Für mehrere ISB-Nummern-Fragmente ist die jeweilige Prüfziffer zu
berechnen und die komplette ISB-Nummer auszugeben. Die
Prüfziffer berechnet sich aus dem Rest, den die Summe aller ISB-
Ziffern multipliziert mit ihrer Position bei der Division durch 11
läßt.
Abstraktion:
Was ist eine ISB-Nummer
Folge von 10 Ziffern in vier Gruppen: 1-234-56789-p
Was ist die Prüfziffer
Die letzte Ziffer p: p ∈ { 0 ... 9, X }
Was ist ein ISB-Nummern-Fragment
ISB-Nummer ohne Prüfziffer - wird vorgegeben.
Was heißt "mehrere"
Folge von ISB-Nummern-Fragmenten
37
38
P. Forbrig PT - Einführung und Überblick
P. Forbrig PT - Einführung und Überblick
3 Programmentwicklung
3 Programmentwicklung
Spezifikation:
A1
Programm: (ISB-Fragmente) * - - - > ISBN*
A2
exakter: Sei s = z 1 - z 2 z 3 z 4 - z 5 z 6 z 7 z 8 z 9 mit 0 = z i = 9
Programm: s* - - -> (s . p) * mit Summe(z
2
i * i ) = p mod 11, i = 1
... 9
ja
A1
B
A2
nein
B
A
Wie wird Ende der Folge erkannt
Eingabe der Zeichenkette 3 ende 4
5
Programm: s* . 6 ende 7 8 (s . p ) *
C1
A1
C2
B
A2
...
sonst
A
B
A
39
40
P. Forbrig PT - Einführung und Überblick
P. Forbrig PT - Einführung und Überblick
3 Programmentwicklung
3 Programmentwicklung
Eingabe_ISB_Fragment(ISBF,ende)
NOT ende
Berechne_Summe(ISBF,Summe)
Berechne_Pruefziffer(Summe, Pruefz)
Verknuepfe (ISBF,Pfuefz, ISBF)
Ausgabe_ISBN(ISBN)
Eingabe_ISB_Fragment(ISBF,ende)
TYPE
String13 = PACKED ARRAY [1. . 13]
OF CHAR; (*STRING[13]*)
VAR
ISBF, ISBN: String13;
Summe: INTEGER;
Pruefz: CHAR;
ende: BOLEAN;
41
42

P. Forbrig PT - Einführung und Überblick
3 Programmentwicklung
eingabe_ISB_Fragment(VAR ISBF:String13; VAR ende: BOOLEAN)
‘ISBN - Fragment [z - zzz - zzzzz] :‘ >
> ISBF
P. Forbrig PT - Einführung und Überblick
3 Programmentwicklung
get_int(c:CHAR) : INTEGER
get_int := ORD(c)–ORD(‘0‘)
Berechne_Pruefziffer(Summe: INTEGER; VAR; Pruefz: CHAR)
ende := ISBF = ‘ende‘
result := Summe MOD 11
ja
result = 10
nein
▲
Berechne_Summe(ISBF:String13; VAR Summe: INTEGER)
Pruefz := ‘X‘
Pruefz := CHR (result + ORD (‘0‘))
index := 0; Summe := 0
i = 1 . . 9
Verknuepfe(ISBF: String13; Pruefz:CHAR;VAR ISBN:String13)
ISBN := CONTACT(ISBF,‘-‘,Pruefz)
ja
i = 2 v i = 5
nein
oder (implementationsabhänging):
SBN := ISBF; ISBN[12] := ‘-‘;ISBN[13] := Pruefz
index := index + 2
index := index + 1
Summe := Summe + get_int (ISBF[index])
43
Ausgabe_ISBN(ISBN:String13)
ISBN
44
P. Forbrig PT - Einführung und Überblick
3 Programmentwicklung
PROGRAM ISBN_Berechnung;
(* Berechnung der Pruefziffer fuer einzugebende
ISBN Fragmente und
Ausgabe der vollständigen ISB-Nummer
Bearbeiter: Uwe Laemmel Stand: 17.7.1990
Sektion Informatik
Universität Rostock
Nach Aufforderung koennen ISBN - Fragmente: z-zzz-zzzzz
eingegeben werden. Es wird die Pruefziffer berechnet:
Pruefz = (z1*1+z2*2+ ...+z9*9) MOD 11
Wenn Pruefz = 10, dann wird X eingesetzt.
Beendigung der Arbeit mit 'ende '*)
USES CRT;
TYPE String13 = STRING [13] ;
VAR ISBF, ISBN: String13;
Pruefz: CHAR;
Summe: INTEGER;
ende: BOOLEAN;
45
P. Forbrig PT - Einführung und Überblick
3 Programmentwicklung
PROCEDURE eingabe_ISB_Fragment( VAR ISBF:
String13;
VAR ende: BOOLEAN);
BEGIN
WRITE(’ISB-Fragment [z-zzz-zzzzz] : ’) ;
READLN(ISBF);
ende: = ISBF = ’;
END (* eingabe_ISB_Fragment *) ;
FUNCTION get_int(c:CHAR): INTEGER;
BEGIN
get_int:= ORD(c) - ORD(’0’) ;
END (* get_int*) ;
46
P. Forbrig PT - Einführung und Überblick
3 Programmentwicklung
PROCEDURE Berechne_Summe( ISBF:String13;
VAR Summe:
INTEGER);
VAR index, i: 0..13;
BEGIN
index:=0; Summe:=0;
FOR i:=1 TO 9 DO
BEGIN
IF (i=2) OR (i=5) THEN index:=index+2 ELSE
INC(index) ;
Summe:=Summe+get_int(ISBF[index] )* i ;
END;
END (*Berechne_Summe*);
47
P. Forbrig PT - Einführung und Überblick
3 Programmentwicklung
PROCEDURE Berechne_Pruefziffer(Summe:INTEGER; VAR
c:CHAR);
VAR rest: 0..10;
BEGIN
rest:= Summe MOD 11;
IF rest=10 THEN c: = ’X ’ ELSE c:
CHR(rest+ORD(’0’)) ;
END (* Berechne_Pruefziffer *);
PROCEDURE Verknuepfe(ISBF:String13;c: CHAR; VAR
ISBN:String13);
BEGIN
ISBN:= CONCAT(ISBF, ’-’, c) ;
END (* Verknuepfe *);
PROCEDURE Ausgabe_ISBN(ISBN:String13) ;
BEGIN
WRITELN(ISBN: 20) ;
48

P. Forbrig PT - Einführung und Überblick
P. Forbrig PT - Einführung und Überblick
BEGIN (*MAIN*)
ClrScr;
WRITELN('Berechnung von Prüfziffern für ISB-
Nummern': 60) ;
WRITELN(' ENDE der Arbeit : ende ' : 50 ) ;
WRITELN('= = = = = = = = = = = = = = = = = =
= = = =': 61);
WRITELN;
Eingabe_ISB_Fragment(ISBF, ende);
WHILE NOT ende DO
BEGIN
Berechne_Summe(ISBF, Summe);
Berechne_Pruefziffer(Summe, Pruefz);
Verknuepfe(ISBF, Pruefz, ISBN);
Ausgabe_ISBN(ISBN);
Eingabe_ISB_Fragment(ISBF, ende);
END;
WRITELN('* * * * Ende der Berechnungen * * *
49
3 Programmentwicklung
Testen
Eingabe:
Ausgabe:
0-000-00000 0-000-00000-0
1-111-11111 1-111-11111-1
8-211-11111 8-211-11111-X
9-999-99999 9-999-99999-9
ende
Ende der Berechnung
Hinweis
Für korrekte Eingabedaten scheint das Programm korrekt zu arbeiten.
Was passiert bei fehlerhaften Eingabedaten (z.B. 1-1aa-bbbbbb)
Dafür ist nichts spezifiziert worden !!
Im konkreten Fall wird Unsinn berechnet. Es erfolgt keine Fehlermeldung !
Das Programm ist stabil aber nicht nutzerfreundlich !
Der Quelltext enthält zu wenig Kommentare !
50