Validator

Ein Validator ist ein Computerprogramm, das die Übereinstimmung eines Dokumentes (Quelltext, Markup…) mit einem Standard überprüft. Da die Validierung automatisch erfolgt, kann lediglich die syntaktische Korrektheit überprüft werden. Konkrete Validatoren können beispielsweise die Syntax von HTML-Dokumenten oder die Übereinstimmung eines XML-Dokumentes mit einem XML Schema überprüfen.

Arten von Validatoren

Grundsätzlich lassen sich zwei Arten von Validatoren unterscheiden:

• Validatoren für einen Standard (z.B. HTML-Validator)
• Validatoren, die durch ein Schema gesteuert werden

Im Falle von XML werden die beiden Validierungsarten unterschieden. Im ersten Fall (Test gegen den XML-Standard) wird von Wohlgeformtheit gesprochen und im zweiten Fall (Test gegen ein Schema) von Validierung.

In der Praxis sollte ein Validator nicht nur erkennen, falls ein Dokument nicht valide ist, das heisst einem Standard oder Schema nicht entspricht, sondern auch auf mögliche Ursachen hinweisen. Validatoren können auch dafür eingesetzt werden, lediglich auf mögliche Fehler hinzuweisen, zum Beispiel im Falle einer automatischen Rechtschreibprüfung. Wie dieses Beispiel zeigt, kann es auch vorkommen, dass ein Validator nicht den vollen Standard (hier: die Regeln der deutschen Sprache) abdeckt, sondern nur einige Fehler erkennt.

Abgrenzung und theoretischer Hintergrund

Ein Validator überprüft, ob ein gegebenes Dokument Teil einer bestimmten formalen Sprache ist. Es lässt sich mit Mitteln der theoretischen Informatik zeigen, dass manche formale Sprachen nicht entscheidbar sind, das heißt, es kann nicht in jedem Fall entschieden werden, ob ein Dokument dem Standard entspricht oder nicht.

Eine Validierung im engeren Sinne besteht dagegen aus spezifischeren Softwaretests zur Überprüfung von praktischen Anforderungen oder aus einer Verifikation zum Nachweis der Korrektheit eines Programmes.

Weblinks

• W3C HTML Validation Service - Beispiel eines Validators für HTML