Verifikation
Form & Grammatik
- Stichwort
- Verifikation
- Worttrennung
- Ve·ri·fi·ka·ti·on
- Artikel
- die
- Genus
- Femininum
- Genitiv Singular
- der Verifikation
- Plural
- die Verifikationen
Was geprüft und nach welchem Maßstab bestätigt wurde, muss erkennbar bleiben. Einzelne erfolgreiche Tests sind kein Beweis sämtlicher Programmeigenschaften.
Gebrauch: Überprüfung mit bestätigendem Nachweis; spezielle Bedeutungen in Informatik und Diplomatie.
Definition · kurz erklärt
Eine Verifikation ist eine Überprüfung, durch die etwas als richtig bestätigt wird. In der Informatik kann damit ein formaler Nachweis gegenüber einer Spezifikation gemeint sein; in der Diplomatie bezeichnet das Wort auch die Beglaubigung eines Protokolls.
Bedeutungen
Die Richtigkeit durch Überprüfung bestätigen
Eine Verifikation liefert einen Nachweis für die Richtigkeit einer Aussage oder eines Sachverhalts. Sie umfasst mehr als eine unbegründete Zustimmung. Ihr Ergebnis bezieht sich auf das, was tatsächlich geprüft wurde.
„Die angegebene Summe wird anhand aller Einzelbeträge verifiziert; anschließend wird der vollständige Rechenweg dokumentiert.“
Die Nachrechnung kann die Summe der vorliegenden Beträge bestätigen. Sie beweist nicht zugleich, dass die ursprünglichen Beträge sachlich korrekt erfasst wurden.
Informatik: Übereinstimmung formal nachweisen
Bei der formalen Verifikation wird mathematisch nachgewiesen, dass ein Programm bestimmte in einer Spezifikation festgelegte Eigenschaften erfüllt. Entscheidend sind dabei die genaue Vorgabe und die zugrunde gelegten Annahmen.
„Für die Funktion wird bewiesen, dass sie unter den angegebenen Voraussetzungen nie einen negativen Wert zurückgibt.“
Der Nachweis betrifft diese Eigenschaft unter diesen Voraussetzungen. Daraus folgt noch keine Aussage über jede denkbare Eingabe oder über die Angemessenheit der gesamten Anwendung.
Diplomatie: ein Protokoll beglaubigen
Diplomatisch kann Verifikation die Beglaubigung eines Protokolls durch die Unterschriften aller beteiligten Verhandlungspartner bezeichnen.
„Nach der gemeinsamen Prüfung des Wortlauts unterzeichnen alle Verhandlungspartner das Protokoll zur Verifikation.“
Hier steht die Beglaubigung des gemeinsam festgehaltenen Protokolls im Vordergrund. Der Satz beschreibt kein Verfahren zur mathematischen Prüfung eines Programms.
Verifikation: Synonyme und andere Wörter
Überprüfung und Bestätigung
Überprüfung bezeichnet zunächst das Prüfen und kann auch zu einer Widerlegung führen. Verifikation zielt auf die begründete Bestätigung der Richtigkeit.
„Die Angabe wurde überprüft.“ – „Die Angabe konnte verifiziert werden.“
Im ersten Satz bleibt das Ergebnis offen. Der zweite behauptet ein bestätigendes Prüfergebnis.
Nachweis und Beweis
Nachweis ist ein weiter Begriff für eine nachvollziehbare Begründung. Ein mathematischer Beweis hat einen strengeren Anspruch als ein einzelner erfolgreicher Testlauf.
„Bei drei Testfällen trat kein Fehler auf.“ – „Für alle im Modell zugelassenen Fälle wurde die Eigenschaft bewiesen.“
Die zweite Aussage ist wesentlich weitergehend und benötigt einen entsprechenden Beweis. Die drei Testfälle allein rechtfertigen sie nicht.
Beispiele und Verwendung
Gegenstand und Grenze nennen
„Die Verifikation betrifft die Übertragung der Zahlen, nicht deren ursprüngliche Erhebung.“
Die genaue Einschränkung verhindert eine zu weitgehende Vertrauensbehauptung.
Eine Kennzeichnung erklären
„Der Eintrag ist als verifiziert markiert, weil die angegebene Fundstelle geprüft wurde.“
Verifiziert benennt das Ergebnis einer Prüfung. Die Kennzeichnung sollte erkennen lassen, welcher Teil des Eintrags tatsächlich bestätigt wurde.
Grammatik und Beugung
Es heißt die Verifikation, im Genitiv der Verifikation. Der Plural lautet die Verifikationen, im Dativ den Verifikationen.
Das feminine Nomen bezeichnet eine Prüfung beziehungsweise Beglaubigung und keine Person. Das zugehörige Verb lautet verifizieren.
| Fall | Singular | Plural |
|---|---|---|
| Nominativ | die Verifikation | die Verifikationen |
| Genitiv | der Verifikation | der Verifikationen |
| Dativ | der Verifikation | den Verifikationen |
| Akkusativ | die Verifikation | die Verifikationen |
Herkunft
Verifikation geht auf mittellateinisch verificatio zurück. Das verwandte Verb verificare verbindet lateinisch verus, „wahr, richtig“, mit facere, „machen“. Im heutigen Gebrauch ist nicht das Erzeugen einer Wahrheit gemeint, sondern ihr überprüfender Nachweis.