Programmkorrektheitsbeweis: Operationaler Ansatz

Operationaler Ansatz Im Folgenden wird die Totale Korrektheit in Bezug auf die Programme betrachtet und dabei im Speziellen der Operationale Ansatz.

Der Operationale Ansatz wird häufig mit der Symbolischen Ausführung genutzt, da ihre Vorzüge in der einfachen Lesbarkeit und der Verständlichkeit auch für Laien liegen. Die Symbolische Ausführung dient der Visualisierung von Programmabläufen. Durch die Erstellung von Flußdiagrammen wird der Ablauf des Codes in einfachen Wegen dargestellt und leichter zu verstehen. So wird zum Beispiel eine IF-THEN-ELSE-Anweisung in mehrere Schritte unterteilt und der Durchlauf ähnlich einer Wegbeschreibung ermöglicht.

Operationaler Ansatz	Im Folgenden wird die Totale Korrektheit in Bezug auf die Programme betrachtet und dabei im Speziellen der Operationale Ansatz. Der Operationale Ansatz wird häufig mit der Symbolischen Ausführung genutzt, da ihre Vorzüge in der einfachen Lesbarkeit und der Verständlichkeit auch für Laien liegen. Die Symbolische Ausführung dient der Visualisierung von Programmabläufen. Durch die Erstellung von Flußdiagrammen wird der Ablauf des Codes in einfachen Wegen dargestellt und leichter zu verstehen. So wird zum Beispiel eine IF-THEN-ELSE-Anweisung in mehrere Schritte unterteilt und der Durchlauf ähnlich einer Wegbeschreibung ermöglicht.

Beispiel	Ein Beispiel: `If A < B Then A := A + B Else A := A - B`

Beispiel

Ein Beispiel:

If A < B Then A := A + B Else A := A - B

	Dieses Beispiel ist in drei Ebenen unterteilt. Die erste Ebene steht für den IF-Teil, also If A < B, die zweite Ebene enthält die Verzweigungen in zutreffend und falsch und die dritte Ebene enthält die Folgerungen, die aus der zweiten resultieren.

	Eine andere Möglichkeit besteht daraus die Verzweigungen ähnlich den Zweigen eines Baumes darzustellen, was jedoch bei komplexeren Programmen zu Verwirrungen führen kann.

	Anhand dieses Beispiels ist der Durchlauf der If-Anweisung leichter zu erkennen jedoch wird der Verlauf bei größeren Programmen oder Modulen unübersichtlicher.