Das Programm, das entscheidet, ob ein Dokument konform ist

veraPDF ist ein kostenloses Programm, das ein Dokument öffnet und sagt, ob es die Archivierungsregel, die es zu befolgen beansprucht, wirklich befolgt. Es wird von den Stellen veröffentlicht, die diese Regel schreiben, seine Antwort kommt also von außen. Diese Seite sagt, worüber es entscheidet, wie man es auf einer eigenen Datei ausführt, und welche beiden Verwendungen hier davon gemacht werden.

Zusammenfassung

Denken Sie an die Hauptuntersuchung, der sich ein Auto regelmäßig unterzieht. Die Werkstatt, die es das ganze Jahr wartet, ist nicht die, die die Plakette vergibt: Jemand anderes sieht sich das Auto an, die veröffentlichte Liste in der Hand, und sagt Ja oder Nein. veraPDF ist dieser Jemand, für ein Dokument.

Es ist ein Programm, das jeder kostenlos herunterladen und ausführen kann, und es stammt von den beiden Stellen, die die Archivregel selbst schreiben: der Open Preservation Foundation und der PDF Association. Die Liste, gegen die es prüft, ist daher die Liste, gepflegt von denen, die sie geschrieben haben.

Darum ist das an dem Tag wichtig, an dem Sie einen Lieferanten wählen. Ein Programm, das seine eigenen Dateien bewertet, würde sie mit genau dem Verständnis messen, das sie hervorgebracht hat: die Regel auf eine Weise lesen, die Datei so schreiben und sie für korrekt erklären. Eine Prüfung von außen ist das Einzige, was eine Fehllesung aufdeckt, und genau das meint ein Archiv, ein Prüfer oder ein Gericht, wenn es ein konformes Dokument verlangt.

Die Nutzung dauert eine Minute. Sie laden es herunter, richten es auf eine Datei und nennen die Regel, an der die Datei gemessen werden soll. Es antwortet mit einem schlichten Bestanden oder Nicht bestanden, und hinter dieser Antwort listet es jede angewendete Regel auf, jede mit der Nummer ihres Artikels im veröffentlichten Text, sodass sich alles, was es abgelehnt hat, Wort für Wort nachschlagen lässt.

Das Team hier nutzt sie doppelt. Die erste Verwendung entscheidet, was die Engine tut: veraPDF gibt die Regeln, die es anwendet, schriftlich an, Artikel für Artikel, in Dateien, die jeder öffnen kann. Diese Dateien werden gelesen, bevor eine Regel in die Engine gelangt, sodass das, worauf die Engine besteht, das ist, was der veröffentlichte Text verlangt, von der Prüfsoftware abgelesen statt aus dem Gedächtnis.

Die zweite Verwendung ist die schlichte: Was herauskommt, wird ihr vorgelegt. Eine dreiseitige Rechnung, auf Seitenvorlagen gelegt, wie LibreOffice sie geschrieben hat, und mit ihrer Datendatei darin, wird nach 146 Regeln und 5 468 einzelnen Prüfungen zum Archivdokument erklärt, jede davon erfüllt. Ein Dokument des vierten Teils mit einer Hierarchie eigener Teile und einem Link in einen davon besteht 109 von 109 Regeln. Beide Zahlen werden aus dem eigenen Bericht von veraPDF abgelesen, und beide lassen sich auf Ihrer eigenen Maschine erneut erzeugen.

Auf diesen beiden Verwendungen beruht fast alles hier. Fast alles, was die Engine für ein Archiv schreibt, und fast alles, was sie zu schreiben ablehnt, stammt aus einer an dieser Prüfsoftware abgelesenen und danach erneut an ihr geprüften Regel.

veraPDF deckt die beiden Familien ab, an denen diese Engine gemessen wird: langfristig aufbewahrte Dokumente und Dokumente, die jemandem vorgelesen werden, der die Seite nicht sehen kann. Über die Druckfamilie wird anders entschieden, und die Seite über druckfertige Dateien sagt, wie, und was die Engine dort garantiert.

Technisch

Der Aufruf, die Varianten, über die er entscheidet, wo seine Regelprofile liegen und was ein Bericht enthält.

Mit einer eigenen Datei ausführen

Der Kommandozeilen-Build ist ein Java-Programm mit eigenem Installationsprogramm; nach dem Entpacken bleibt eine ausführbare Datei, die eine Datei und eine Variante annimmt. Die Variante ist die genaue Regel, an der die Datei gemessen wird, und sie zu nennen macht aus einer vagen Frage eine Entscheidung. Die Version, mit der die Zahlen auf dieser Seite erzeugt wurden, ist 1.30.2.

Die Antwort kommt in einer Zeile: das Urteil, die Variante und der Pfad. Alles hinter dieser Zeile ist als Bericht verfügbar — einer maschinenlesbar, der jede Regel nennt, die Objekte, auf die sie angewendet wurde, und die Meldung jedes Tests, und einer zum Lesen.

Auch nach den Erfolgen zu fragen macht aus dem Bericht das ganze Profil. Eine Regel, die lief und bestand, wird dann von einer Regel unterschieden, die nichts zu prüfen hatte; das ist der Unterschied zwischen einer erfolgten und einer übersprungenen Prüfung.

verapdf --format text -f 3b invoice.pdf
verapdf --format mrr --success -f ua1 invoice.pdf > report.xml

Die Varianten, über die sie entscheidet

Fünfzehn Varianten werden mitgeliefert. Die Archivfamilie umfasst 1a, 1b, 2a, 2b, 2u, 3a, 3b, 3u, 4, 4f und 4e; die Barrierefreiheitsregeln umfassen ua1 und ua2; die Well-Tagged-Profile umfassen wt1r und wt1a. Ein Buchstabe nennt eine Stufe: b verspricht, dass die Seite immer gleich aussieht, a verlangt zusätzlich die Struktur des Textes, und u verlangt, dass sich jeder Buchstabe auf sein Zeichen zurückführen lässt.

Jede Variante ist ein Profil, als XML im Kommandozeilenarchiv enthalten, ein Element pro Klausel und Test. Zählt man diese Elemente, erhält man den Umfang eines Urteils: 155 in 3a, 146 in 3b, 106 in ua1, 109 im vierten Teil und 1 727 in ua2. Ein mit gemeldeten Erfolgen erzeugter Bericht trägt genau so viele Regeln; so wird ein Bericht gegen das Profil geprüft, aus dem er angeblich stammt.

Eigene Regeln, durch dasselbe Programm geschickt

Über die mitgelieferten Profile hinaus extrahiert veraPDF als XML, was ein Dokument enthält, und wendet eine Richtliniendatei auf diesen Auszug an — ein Schematron-Dokument mit eigenen Zusicherungen. So wird hier die Drucknorm gemessen: elf aus dem veröffentlichten Text abgelesene Regeln, ein Urteil pro Regel und am Ende eine Summe.

Die beiden Verwendungen werden auseinandergehalten, und der Unterschied wird überall angegeben, wo eine Zahl auf einer davon beruht. Ein mit dem Programm ausgeliefertes Profil liefert die Antwort von veraPDF; eine Richtliniendatei liefert unsere Antwort, gewonnen aus der Lesart der Datei durch veraPDF.

verapdf --extract --policyfile pdfx4.sch --success -f 3b sheet.pdf

Was ein Bericht enthält

Jede Regel eines Berichts nennt die Norm, aus der sie stammt, die Nummer ihrer Klausel und die Nummer des Tests innerhalb dieser Klausel, die Art von Objekt, auf die sie sich bezieht, und den Satz, in dem das Profil sie formuliert. Ein fehlgeschlagener Test fügt das Objekt hinzu, an dem er scheiterte, als Pfad durch das Dokument geschrieben: die Seite, die Annotation darauf, das Aussehen dieser Annotation, der Stream in diesem Aussehen.

Dieser Pfad macht aus einer Antwort etwas, womit man arbeiten kann. Ein Bericht, der Abschnitt 6.2.2 Test 3 des vierten Teils nennt, am Inhaltsstream des Aussehens der ersten Annotation der ersten Seite, nennt ein Objekt und einen Satz eines Textes — eine Reparatur, die jemand noch am selben Nachmittag ausführen kann.

Wie die Engine daran gemessen wird

Die beiden Verwendungen, die Zahlen, die jede ergeben hat, und die Dokumente, an denen diese Zahlen entstanden sind.

Die Profile werden als Quelle einer Regel gelesen

Eine Konformitätsregel kann aus der Erinnerung an die Norm geschrieben oder von einem Profil abgelesen werden, das sie angibt. Hier wird sie abgelesen. Die Profile liegen als XML im Kommandozeilenarchiv, und eines davon zu öffnen macht aus einer Auslegungsfrage ein Nachschlagen.

Ein Beispiel hat eine echte Frage geklärt. Ein Dokument des vierten Archivierungsteils sollte einen Link zu einem Teil eines anderen Dokuments tragen, eine Aktion der Art, die das moderne Format GoToDp nennt. Ob ein Archivdokument eine solche tragen darf, ist eine Frage der Auslegung. Das Profil des vierten Teils antwortet in einer Zeile: Seine Regel zu Aktionen listet die erlaubten Arten auf, und diese ist darunter, in allen drei Varianten dieses Teils. Die Regel der Engine wurde nach dieser Lesart geschrieben, und das Dokument, das sie ausübt, besteht.

Das Lesen der Profile hält die Engine auch davon ab, auf etwas zu bestehen, das der Text nie verlangt hat. Eine Ablehnung, auf die niemand zeigen kann, ist eine Ablehnung, mit der ein Kunde nichts anfangen kann; deshalb steht hinter jeder Regel, die die Engine anwendet, ein Artikel.

Jedes Dokument wird ihr vorgelegt

Die zweite Verwendung ist der Zeuge. Ein Dokument, das die Engine schreibt, wird veraPDF übergeben, bevor irgendetwas darüber gesagt wird, und was die Prüfsoftware antwortet, veröffentlicht diese Website. Zwei dieser Durchgänge verdienen eine Erwähnung, weil sie ihre Zahlen tragen.

Eine dreiseitige Rechnung, auf Seitenvorlagen gelegt, wie LibreOffice sie geschrieben hat, und mit der Datendatei der Rechnung darin: als Archivdokument des dritten Teils auf Stufe B erklärt, nach 146 Regeln und 5 468 einzelnen Prüfungen, jede Prüfung erfüllt.
Ein Dokument des vierten Teils mit einer Hierarchie eigener Teile und einem Link in einen davon: 109 von 109 Regeln, und jede davon eingehalten.

Auch die hier veröffentlichten Beispiele laufen durch sie

Die Archivdokumente im Beispielkatalog laufen auf beiden Stufen des dritten Teils und gegen die Barrierefreiheitsregeln durch die Prüfsoftware, und sie akzeptiert sie. Dasselbe gilt für die durchgängig durchlaufenen Referenzfarbprofile: Sechsundzwanzig gingen hinein, drei wurden beim Aufruf abgelehnt, bevor ein Byte geschrieben war, und veraPDF akzeptierte die dreiundzwanzig, die als Output Intent eines Archivdokuments geschrieben wurden.

Eine französische Übersetzung eines Dokuments durchläuft es ebenso wie die englische. Übersetzen ändert den auf der Seite gezeichneten Text und die in der Struktur abgelegten Wörter, daher lohnt sich der Durchgang zweimal: Die französische Archivfassung wird nach denselben 146 Regeln für konform erklärt.

Was veraPDF abdeckt, und was auf andere Weise geprüft wird

Die Liste der Varianten ist die Liste dessen, was veraPDF entscheidet: die Archivfamilie und die Barrierefreiheitsregeln. Das deckt ab, was ein Archiv, ein Prüfer oder eine Behörde verlangt, und die Engine wird an beidem gemessen.

Über die Druckfamilie wird anderswo entschieden, und auf zwei Arten. Aus ihrem veröffentlichten Text abgelesene Regeln werden über den oben beschriebenen Richtlinienmechanismus auf die fertige Datei angewendet, und dieselbe Seite wird ein zweites Mal von einem ganz anderen Programm geschrieben und Punkt für Punkt verglichen. Die Seite über druckfertige Dateien sagt, welchen Teil die Engine schreibt und worauf sie besteht, bevor sie etwas schreibt.

Am Tag selbst führt die Druckerei ihre eigene Prüfung dessen durch, was sie erhält, wie die meisten es tun. Das ist ein drittes Paar Augen, und es ist dasjenige, das die Sache entscheidet.

Wohin als Nächstes

Was ein Dokument in Jahrzehnten noch lesbar macht, und für alle Was jeder Archivanspruch verlangt, und wer was liefert Ein Archivformular, das die Prüfsoftware akzeptiert Wie eine druckfertige Datei stattdessen geprüft wird Die dreiundzwanzig Farbprofile, über die die Prüfsoftware entschieden hat Was die Prüfsoftware klärt, und was noch geprüft wird

Die Preise ansehen Die Beispiele ansehen

Woher diese Informationen stammen

Texte gelesen am 27. Juli 2026.

Wer die kostenlose Prüfsoftware herstellt, und wer sie bezahlt: veraPDF — About the project Open Preservation Foundation und PDF Association
Was wir dagegen tun: Wer die Prüfsoftware veröffentlicht, wer ihren Bau bezahlt hat und unter welcher Lizenz sie verschenkt wird. Darauf beruht die ganze Behauptung, dass das Urteil über unsere Dokumente von außen kommt.
Wie die kostenlose Prüfsoftware entscheidet, dass ein Dokument besteht: veraPDF documentation — Validation Open Preservation Foundation und PDF Association
Was wir dagegen tun: Wie die Prüfsoftware zu einem Urteil kommt und die Varianten, für die sie eines fällt. Die auf dieser Seite gezeigten Aufrufe und die Regelzahlen, die jedes Profil meldet, sind von ihr und von den Profilen selbst abgelesen.
Die Norm für ein zur Aufbewahrung gemachtes PDF, der Teil, der eine andere Datei trägt: ISO 19005-3:2012 — Document management — Electronic document file format for long-term preservation — Part 3: Use of ISO 32000-1 with support for embedded files (PDF/A-3) Internationale Organisation für Normung — Oktober 2012
Was wir dagegen tun: Der Teil hinter der ersten Zahl auf dieser Seite: Die dreiseitige Rechnung wird auf Stufe B als ihm entsprechend erklärt.
Die Norm für ein zur Aufbewahrung gemachtes PDF, vierter Teil: ISO 19005-4:2020 — Document management — Electronic document file format for long-term preservation — Part 4: Use of ISO 32000-2 (PDF/A-4) Internationale Organisation für Normung — November 2020
Was wir dagegen tun: Der Teil hinter der zweiten Zahl, und der, dessen Profil die Arten von Aktionen auflistet, die ein Archivdokument tragen darf. Nach dieser Liste wurde die eigene Regel der Engine geschrieben.
Die Norm für ein PDF, das ein blinder Leser lesen kann, erster Teil: ISO 14289-1:2014 — Document management applications — Electronic document file format enhancement for accessibility — Part 1: Use of ISO 32000-1 (PDF/UA-1) Internationale Organisation für Normung — Dezember 2014
Was wir dagegen tun: Die Barrierefreiheitsregeln, über die die Prüfsoftware neben den Archivregeln entscheidet. Die Engine schreibt sie, und die Prüfsoftware bestätigt es.