Versions-History von Verifikation
Zum Begriff
Verifikation
Änderung des Felds
Beschreibung am Dienstag, 28. Mai 2002, 13:06:
+Unter Verifikation versteht man die Überprüfung, ob eine Realisierung z.B.als Programm mit der Algorithmenbeschrei-bung (auch Spezifikation ge-nannt) übereinstimmt.
<br>Bei der Überprüfung der Gül-
<br>tigkeit eines Programmes
<br>spricht man in diesem Zusam-
<br>menhang auch von der Programm-
<br>verifikation. Sie wird im all-
<br>gemeinen formal realisiert.