Re: Prov-XML test cases

On Jan 30, 2013, at 3:20 PM, James Cheney <jcheney@inf.ed.ac.uk> wrote:

> Thanks.  On my system (working from home) for some reason xmllint runs extremely slowly on prov.xsd (several seconds) so that running it independently on each of the test cases takes a long time.

The schema does take a while for xmllint to process.

>  This may be because of network delays - if I use the --nonet parameter then it complains that it can't find http://www.w3.org/2001/xml.xsd.  I had better luck just doing this:
> 
> xmllint --noout --schema ../xml/schema/prov.xsd constraints/*.provx
> 
> which still takes a few seconds to load/process the schema but then checks all of the XML files reasonably quickly.

That is a good way to run it.  I was not sure if every file in constraints was a candidate for validation so I was just testing against the contents of the test file.

--Stephan

> 
> In case it is helpful I attach the list of validation results below.  It looks like a minority of the test cases currently match the schema.  Hopefully this should be easy to fix by fixing the prov-xml generator of prov-toolbox, rather than manually (?).  This in turn would be helpful for my toy constraints implementation since Stephen Cresswell has contributed a parser from prov-xml to prolog terms, which seems to work fine on the valid XML examples.
> 
> --James
> 
> 
> -- 
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
> 
> <validation.txt>
> 
> On Jan 30, 2013, at 9:49 PM, Stephan Zednik <zednis@rpi.edu> wrote:
> 
>> I added a target to the Makefile to run schema validation on the prov-xml files.
>> 
>> https://dvcs.w3.org/hg/prov/rev/b1a7f53929cf
>> 
>> --Stephan
>> 
>> On Jan 30, 2013, at 2:24 PM, Stephan Zednik <zednis@rpi.edu> wrote:
>> 
>>> 
>>> On Jan 30, 2013, at 1:37 PM, James Cheney <jcheney@inf.ed.ac.uk> wrote:
>>> 
>>>> Hi,
>>>> 
>>>> Some of the PROV-XML versions of the test cases (.provx) are not valid with respect to the schema.  For example, in  unification-usage-s8-PASS-c23.provx, the "time" element in the usage record is in the wrong place.
>>>> 
>>>> I understand that the test cases / prov-xml exporter may have predated the current version of the schema.  Would it be possible to validate them and correct any that are not valid (with respect to the schema)?
>>> 
>>> Certainly.  I will look into updating the Makefile in the testcases directory with a test that runs xmllint on all entries in the xml-tests.txt file.
>>> 
>>> --Stephan
>>> 
>>>> 
>>>> --James
>>>> -- 
>>>> The University of Edinburgh is a charitable body, registered in
>>>> Scotland, with registration number SC005336.
>>>> 
>>>> 
>>>> 
>>> 
>>> 
>>> 
>> 
>> 
>> 
> 

Received on Wednesday, 30 January 2013 22:27:46 UTC