Conformance testing without reference implementation of an XML standard

摘要

Messages exchanged between two or more participants are conformance tested to a specific markup language standard without using a reference implementation of the markup language standard. Conformance is tested by executing verification rules corresponding to the specific markup language standard, where the verification rules comprise a representation of at least one protocol verification graph.