|
Symbolische Darstellung
|
Durch ihre Einfachheit ist die Symbolische Darstellung schon im
Programmansatz eine gute Möglichkeit Fehler bereits bei der
Entwicklung zu entdecken und somit schon vor dem Codieren zu
verhindern.
Die Symbolische Darstellung wird meist zur vereinfachten Darstellung
komplexer Programmabläufe genutzt. Diese Eigenschaft macht sie
auch zu einer guten Testgrundlage, welche durch Kombination mit
anderen Darstellungsarten ergänzt werden kann. Nutzt man für
einen Korrektheitsbeweis z.B. zusätzlich den implementierten
Code, in dem man ihn parallel neben das Diagramm schreibt, so wird der
Verlauf vereinfacht und anschaulich dargestellt und noch vor einem
eventuellem Test ein Fehler in der Implementierung entdeckt.
|
Programmkorrektheitsbeweis
