In diesem Dokument werden zum Test einer Prüftoolkonfiguration Zusicherungen zu einzelnen Prüfberichten beschrieben. Ein solches Dokument kann der Kommandozeilenversion des Prüftools über --check-assertions übergeben werden. Definition eines Präfix für einen Namensraum, zur Verwendung in nachfolgenden assertion-Elementen. Zusicherung: für das in report-doc angegebene Dokument (relativ zum aktuellen Ausgabeverzeichnis) hat der angebene XPath-Test den "Effective Truth Value" true(). Im Textknoten kann eine textuelle Zusammenfassung des Tests stehen.