Revision [66]
Last edited on 2009-09-18 12:47:08 by DavidLeeAdditions:
It is expected that the production of XDM Producers be able to be compared to both other XDM Producers and to XDM Standards so that the validity of operations is discernible and provable.
Deletions:
Revision [65]
Edited on 2009-09-18 12:46:54 by DavidLeeAdditions:
=====Output of XDM data from test cases using XDM Tools with the purposes of validation and compare=====
XDM Producers have no standard way of storing results. In particular, test cases and standards have no consistant way of publishing expected results.
It is desirable that XDM Producers be able to produce XDM results in a format which is comparable to XDM Standards.
Example, the XQuery standard may state the result of an operation is a particular XDM dataum. This should be able to be published as a canonical text format so that comparison with XQuery implementations can be validated against the expected output.
Different XQuery implementations should be able to produce the same canonical format so they may be compared to each other as well as the standards documentation.
By having a concrete canonical format implementations and standards can be compared objectively and automatically and not be left to interpretation of authors to determine if a in-memory format corresponds to the correct result.
XDM Producers. XQuery programs which produces XDM values.
XDM Standards. A standard which describes the expected result of XDM Producers.
It is expected that the production of XDM Producers be able to be compared to both other XDM Producers and to XDM Standards so that the validity of operations is discernable and provable.
XDM Producers have no standard way of storing results. In particular, test cases and standards have no consistant way of publishing expected results.
It is desirable that XDM Producers be able to produce XDM results in a format which is comparable to XDM Standards.
Example, the XQuery standard may state the result of an operation is a particular XDM dataum. This should be able to be published as a canonical text format so that comparison with XQuery implementations can be validated against the expected output.
Different XQuery implementations should be able to produce the same canonical format so they may be compared to each other as well as the standards documentation.
By having a concrete canonical format implementations and standards can be compared objectively and automatically and not be left to interpretation of authors to determine if a in-memory format corresponds to the correct result.
XDM Producers. XQuery programs which produces XDM values.
XDM Standards. A standard which describes the expected result of XDM Producers.
It is expected that the production of XDM Producers be able to be compared to both other XDM Producers and to XDM Standards so that the validity of operations is discernable and provable.
Deletions:
XDM Producers have no standard way of displaying results. Common implementations may display XDM results as space separated, newline separated, possibly sequence normalized text.
It is desirable that XDM Producers be able to produce XDM results in a text format which is unambiguous, human readable, and comparable to other XDM Producers.
XDM Producer. An XQuery program which produces XDM values.
Human. A human reading values from XDM Producers.
It is expected that humans be able to read the output from different XDM Producers which produce the same XDM Values and manually be able to deduce and decypher the results.
