Foxload Web & Apps

In einer Vielzahl von Kontexten bezieht sich der Begriff "Verifizierung" auf den Prozess, der die Richtigkeit einer Aussage oder Behauptung zweifelsfrei belegt. Verifizierung ist der Prozess der Feststellung von Legitimität oder Gültigkeit und ist besonders wichtig in der Welt der Technologie und bei Online-Anwendungen.

Bestätigungslink

Sie können in einer Reihe von verschiedenen Anwendungen und Online-Diensten etwas bestätigen, z.B. bei der Anmeldung. Die Bestätigung der E-Mail-Adresse, die Sie bei einem Dienst angegeben haben, ist beispielsweise immer dann erforderlich, wenn Sie sich zur Nutzung dieses Dienstes anmelden. Sie werden in Kürze eine E-Mail mit einem Bestätigungslink erhalten. Damit können Sie überprüfen, ob Sie bei der Anmeldung eine funktionierende E-Mail-Adresse angegeben haben.

Ist der Benutzer korrekt?

Sie haben die Möglichkeit, Ihr Profil oder ihr Konto bei verschiedenen anderen sozialen Netzwerken und Diensten wie WhatsApp zu authentifizieren. Dadurch wird überprüft, ob die Person, die das Konto verwendet, auch diejenige ist, die sie vorgibt zu sein. Instagram und seine Konkurrenten kennzeichnen verifizierte Konten beispielsweise durch ein Häkchen neben dem Benutzernamen. Dadurch wissen andere Benutzer, dass der echte Besitzer des mit diesem Namen verbundenen Kontos verwendet wird.

Verifizierungsprozesse

Die Verifizierung hingegen kann nicht dazu verwendet werden, um zu beweisen, dass das betreffende Produkt keine Fehler enthält, unabhängig von der Technologie (Methoden, Techniken und Werkzeuge), die in jedem einzelnen Fall verwendet wurde. Der Grund dafür ist, dass die Kriterien, die der Kunde an das Produkt gestellt hat, nicht in einer formalen Form vorliegen und daher keinen ausreichenden Input für den Prozess der Verifizierung des Produkts darstellen. Der Zweck des Verifizierungsprozesses in der Informatik besteht darin, den Nachweis zu erbringen, dass der Entwicklungsprozess seit der Erstellung der Spezifikation nicht von Fehlern beeinflusst wurde.

Prüfung

Das Testen sowohl in einer dynamischen als auch in einer statischen Umgebung in dem Bemühen, Fehler aufzudecken, die während des Entwicklungsprozesses eingeführt wurden, ist das, worauf sich die nicht-formale Verifizierung in ihrer grundlegendsten Form bezieht. Da sie sich nicht auf mathematische Beweise stützt, wird diese Methode der Überprüfung als nicht-formale Überprüfung bezeichnet. Es ist wichtig, dass Sie den Begriff "manuell" nicht zu wörtlich nehmen. Es ist gängige Praxis, die Prüfung (teilweise) automatisch mit Hilfe von Programmen durchführen zu lassen. Dies ist besonders häufig bei großen Projekten der Fall, die über einen längeren Zeitraum hinweg entwickelt werden.

Die Verifizierung und Validierung im Detail

Entwicklungsphase

Die formale Überprüfung stützt sich stark auf die mathematische Logik als Grundlage. Syntax und Semantik werden in diesem Zusammenhang ähnlich behandelt wie in Programmiersprachen. Bei der Validierung werden die Ergebnisse einer Entwicklungsphase mit den vom Kunden spezifizierten Anforderungen verglichen, während bei der Verifizierung die Ergebnisse jeder Entwicklungsphase daraufhin überprüft werden, ob sie mit der vorangegangenen Phase übereinstimmen. Formale Verifikationsmethoden wie Theorembeweis und Modellprüfung werden eingesetzt, um die Gesamtqualität der Software zu verbessern.

Produktspezifikationen

Bei der Überprüfung eines Produkts wird festgestellt, ob es die in den Produktspezifikationen aufgeführten Anforderungen erfüllt oder nicht. In der ISO 9000 ist der Begriff beispielsweise definiert als "Bestätigung durch objektive Beweise, dass die Kriterien erfüllt sind".

Validierung

Der Begriff "Validierung" bezieht sich auf den Prozess, bei dem festgestellt wird, ob eine Anlage, eine Komponente, ein Produkt oder ein Herstellungsverfahren geeignet ist, um die Ziele des beabsichtigten Verwendungszwecks zu erreichen oder nicht. Oder, um es in den Begriffen der ISO 9000 auszudrücken, kann es als "Bestätigung durch objektive Beweise, dass die Kriterien für eine bestimmte Anwendung oder einen bestimmten Zweck erfüllt sind" beschrieben werden.

Prozessvalidierung

Die Prozessvalidierung wird insbesondere dann eingesetzt, wenn die fraglichen Produkteigenschaften nicht anhand des Endprodukts bestätigt werden können. Bei der Validierung des Herstellungsprozesses wird hingegen geprüft, wie leicht ein bestimmtes Produkt reproduziert werden kann. Um als erfolgreich zu gelten, muss die kontinuierliche Validierung also den dokumentierten Nachweis erbringen, dass ein Prozess durchgängig die an ihn gestellten Anforderungen erfüllt.

Ein Prozess gilt als validiert, wenn er nachweislich funktioniert und das Ergebnis liefert, das er liefern soll. Ein Verfahren, das dieses Konzept veranschaulicht, ist die Herstellung von Gussimplantaten für den medizinischen Gebrauch. Da das Implantat zerstört werden muss, um seine Bruchfestigkeit am Ende des Herstellungsprozesses zu überprüfen, ist es nicht möglich, die Bruchfestigkeit eines Implantats zu überprüfen. Andererseits ist es möglich, nachzuweisen, dass der Herstellungsprozess selbst legitim und wiederholbar ist.