On conformance

Hi all,

This is on my action item (or the one of Christian and me) to have tests  
for various conformance levels.


I) Testing a schema for conformance as described in sec. 7.1. Example:
<!ENTITY % itsmarkup SYSTEM "its.dtd">
%itsmarkup;
<!ELEMENT book ...>
<!ATTLIST book ... %att.datacats.attributes;>
each ATTLIST has the att.datacats.attributes entity.
Purpose: check the statement "The schema must allow the usage of the  
attribute group att.datacats at every element which is declared in the  
schema.".

- Testing a schema for conformance as described in sec. 7.2. Example:
<!ENTITY % itsmarkup SYSTEM "its.dtd">
%itsmarkup;
<!ELEMENT book (..., its:documentRules?>
<!ATTLIST book ... %att.datacats.attributes;>
Purpose: checksthe statement "The schema must allow the usage of the  
documentRules element in at least one element in the schema".

II) Testing interpretation of simple data category attributes as described  
in sec. 7.1. Example:
<book ... its:translate="yes">
<head its:translate="no">...</head>
</book>
This document can be used to test the statement "The interpretation of  
data category attributes in instance documents must be conformant to the  
data category specific default selections described in Section 4.1:  
Position and Default Selections of Data Categories." for the  
translatability data category. The implementations of Sebastian, Yves and  
me would pass the tests because they select the nodes in accordance with  
the in situ translatability data category definitions.


III) Testing Conformance to Dislocated Selection Mechanisms (see sec.  
7.2). Example:
<book ... its:translate="yes">
<head its:translate="no">
<its:documentRules>
<its:documentRule translate="yes" translateSelector="//p/@comment"/>
</its:documentRules>
...</head>
</book>
This document can be used to test the statement "An application which  
processes ITS elements and attributes must  process the selection  
mechanisms described in Section 3.5: Precedence between Selections". The  
implementations of Sebastian, Yves and me would pass the tests because  
they select the nodes in accordance with the insitu and dislocated  
translatability data category definitions, and they take precedence of  
selection mechanisms into account.


Results of test:

- test type I: Result is a list of schemas which encompass the markup for  
in situ usage of data categories. We already have enough schemas to pass  
such tests, I would say. But it cannot hurt to have more.

- test type II and III: Results are "properly selected nodes". "Properly"  
can be checked via visualization (as in the case of Sebastians  
implementation) or as a list of nodes (as in my case, or - I guess - Yves  
case).

Looking forward for your feedback.

- Felix

Received on Wednesday, 8 February 2006 13:32:26 UTC