Computertechnik mit Mikrocontrollern

KAPITEL 7. PROGRAMMIERSPRACHE C 67
loopA: loop
Anweisungen1; Anweisungen1
if (Bedingung) goto endloopA; if Bedingung then breakloop endif
Anweisungen2; Anweisungen2
goto loopA; endloop
endloopA:
Die Korrektheit eines strukturierten Programmes kann bewiesen
werden. Einen solchen Beweis nennt man Programmverifikation.
Da derartige Beweise sehr aufwändig sind, werden sie
nur selten durchgeführt.
Auf Grund des geordneten Programmflusses gibt es viele Vorteile.
Strukturierte Programme sind
• leserlicher
• verständlicher
• robuster
• leichter änderbar
• eher wiederverwendbar
All diese Vorzüge sind Gründe dafür, dass eigentlich alle modernen
Programmiersprachen dieses Konzept unterstützen.
Fortran, Cobol und Basic sind in ihrer ursprünglichen Form
aussterbende Sprachen, weil sie das Konzept noch nicht kannten.