Validator

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


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Validator — A validator is a computer program used to check the validity or syntactical correctness of a fragment of code or document. The term is commonly used in the context of validating HTML, CSS and XML documents or RSS feeds though it can be used for… …   Wikipedia

  • Validator — Programm oder Funktion, das den HTML Code auf seine Richtigkeit überprüft. Einem Validator sind meist die Eigenheiten und Besonderheiten der verschiedenen Browser (Navigator, Internet Explorer, Opera, etc.) vorgegeben und kann damit die Testphase …   Online-Wörterbuch Deutsch-Lexikon

  • validator — noun a) One who validates. b) Something which validates …   Wiktionary

  • validator — n. one who makes valid, one who provides authority; machine that prints tickets and documents (Travel business) …   English contemporary dictionary

  • validator — …   Useful english dictionary

  • Kml validator — Infobox Software name = KML Validator caption = KML Validator developer = [http://www.galdosinc.com Galdos Systems Inc.] latest release date = June 5, 2008 operating system = Microsoft Windows, Mac OS genre = KML Validating Tool website =… …   Wikipedia

  • Disk-Validator — Der Disk Validator ist ein von Commodore für die Standard Dateisysteme des AmigaOS entwickeltes Programm, welches dynamisch von Diskette geladen und automatisch ausgeführt wird, falls ein Datenträger eingelegt wurde, dessen Dateisystem sich in… …   Deutsch Wikipedia

  • Component Validator for Environmentally Friendly Aero Engine — Component Validator for Environmentally Friendly Aero Engine, also known as CLEAN, is a EU funded research program within the EEFAE (Efficient and Environmentally Friendly Aircraft Engine) project. All major European engine manufacturers are… …   Wikipedia

  • W3C Markup Validation Service — The Markup Validation Service by the World Wide Web Consortium (W3C) allows Internet users to check HTML documents for conformance to HTML or XHTML standards. It also provides a quick method for web page authors to check their posted pages for… …   Wikipedia

  • XHTML — Infobox file format name = XHTML extension = .xhtml, .xht, .html, .htm mime = application/xhtml+xml owner = World Wide Web Consortium creatorcode = genre = Markup language containerfor = containedby = extendedfrom = XML, HTML extendedto =… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”