Define an element within a substitution group headed by another element which is abstract. The elements have the same type. Try to substitute the head element with the first one. Try to use the head itself. Declare an element with abstarct explicitly set to true. Try to use it in the xml document. Declare an element with abstarct explicitly set to false. Try to use it in the xml document. Declare an element with default value of the attribute abstract. Try to use it in the xml document. Annotations provide for human- and machine-targeted annotations of schema components. In the test the human-targeted annotation is provided for an element declaration. Annotations provide for human- and machine-targeted annotations of schema components. In the test the human-targeted annotation is provided for an element declaration. The annotation is misplaced. Annotations provide for human- and machine-targeted annotations of schema components. In the test the machine-targeted annotation is provided for an element declaration. Annotations provide for human- and machine-targeted annotations of schema components. In the test the machine-targeted annotation is provided for an element declaration. The annotation is misplaced. Define an element within a substitution group headed by another element. The elements have the same type. Block (disallow) a substitution of the head. Try to substitute the head element with the first one. Define an element within a substitution group headed by another element. The elements have the same type. Block (disallow) a substitution of the head. Try to substitute the head element with the first one. Define an element within a substitution group headed by another element. The elements have the same type. Block (disallow) a substitution of the head. Try to substitute the head element with the first one. Define an element within a substitution group headed by another element. The first element has a type extended from the type of the head. Block (disallow) an extension of the head. Try to substitute the head element with the first one. Define an element within a substitution group headed by another element. The first element has a type extended from the type of the head. Block (disallow) an extension of the head. Try to substitute the head element with the first one. Define an element within a substitution group headed by another element. The first element has a type extended from the type of the head. Block (disallow) an extension of the head. Try to substitute the head element with the first one. The block attribute is set to illegal value. Try to set block attribute to "substitution extension restriction #illegalValue" Try to set block attribute to "extension substitution restriction #illegalValue" Various subsets of blocking values are used for a number of elemen declarations. Try to set block attribute to "#all #illegalValue" Try to set block attribute to "substitution #illegalValue" Try to set block attribute to "restriction #illegalValue" Try to set block attribute to "extension #illegalValue" Try to set block attribute to "substitution restriction #illegalValue" Try to set block attribute to "extension substitution #illegalValue" Try to set block attribute to "restriction substitution #illegalValue" Try to set block attribute to "substitution restriction extension #illegalValue" The blocking constraint must not contain substitution for an element declaration to be validly substituteable for another element declaration. In the test any substitution for element Head is allowed. The blocking constraint must not contain substitution for an element declaration to be validly substituteable for another element declaration. In the test any substitution for element Head is disallowed. The blocking constraint must not contain substitution for an element declaration to be validly substituteable for another element declaration. In the test any substitution for element Head is allowed. The blocking constraint must not contain substitution for an element declaration to be validly substituteable for another element declaration. In the test any substitution for element Head is disallowed. Two elements are declared. The second one has type derived by restriction from type of the first element. Blockong constraints of the first element is empty, so the second element is substitutable for the first one. Two elements are declared. The second one has type derived by restriction from type of the first element. Blockong constraints of the first element contain 'restriction', so the second element is not substitutable for the first one. Two elements are declared. The second one has type derived by extension from type of the first element. Blockong constraints of the first element is empty, so the second element is substitutable for the first one. Two elements are declared. The second one has type derived by extension from type of the first element. Blockong constraints of the first element contain 'restriction', so the second element is substitutable for the first one. Two elements are declared. The second one has type derived by extension from type of the first element. Blockong constraints of the first element contain 'extension', so the second element is not substitutable for the first one. Two elements are declared. The second one has type derived by extension from type of the first element. Blockong constraints of the first element contain 'restriction extension', so the second element is not substitutable for the first one. Two elements are declared. The second one has type derived by restriction from type of the first element. Prohibiting substitutions of the first element's type is empty, so the second element is substitutable for the first one. Two elements are declared. The second one has type derived by restriction from type of the first element. Prohibiting substitutions of the first element's type contain 'extension', so the second element is substitutable for the first one. Two elements are declared. The second one has type derived by restriction from type of the first element. Prohibiting substitutions of the first element's type contain 'restriction', so the second element is not substitutable for the first one. Two elements are declared. The second one has type derived by restriction from type of the first element. Prohibiting substitutions of the first element's type contain 'restriction extension', so the second element is not substitutable for the first one. Two elements are declared. The second one has type derived by restriction from type of the first element. Prohibiting substitutions of the first element's type contain '#all', so the second element is not substitutable for the first one. Define and check a uniqueness among values of elements. Define and check key, keyref and uniqueness among values of elements. In the test all kinds of identity constraint are not violated. Define a key identity constraint with two fields. Ensure that the constraint prevents one key to be defined twice. Define a uniqueness identity constraint with two fields. Ensure that the constraint prevents one pair of values to be defined twice. Define a key identity constraint. Define a keyref to that key. Ensure that the keyref field is not allowed to refer to a key that is not defined. All ID, IDREF and IDREFS values are valid. All ID, IDREF and IDREFS attributes are valid. Declare an attribute of a type derived from ID. Declare an attribute of a type derived from IDREF. Ensure that the second attribute is allowed to refer to a value that is defined by the first attribute defined in the same element information item. Declare an attribute of a type derived from ID. Declare an attribute of a type derived from IDREF. Ensure that the second attribute is not allowed to refer to a value that is not defined by the first attribute. Declare an attribute of a type derived from ID. Declare an attribute of a type derived from IDREFS. Ensure that the second attribute is not allowed to refer to a values that are not defined by the first attribute. Declare an attribute of a type derived from ID. Ensure that two element information items may not have that attributes with the same values. Define one global element and one local. Omit maxOccurs attribute. Check that the value of the {maxOccurs} property is 1. Define one local that refers to a global one. Omit maxOccurs attribute. Check that the value of the {maxOccurs} property is 1. Define one global element and one local. Omit minOccurs attribute. Check that the value of the {minOccurs} property is 1. Declare a local element with a reference to a global one. Omit minOccurs attribute. Check that the value of the {minOccurs} property is 1. Define two elements with incompatible types. Check that the elements are validated properly. Declare an element. Define a complexType with the same name. Check that there is no name clash. Declare an element. Define a simpleType with the same name. Check that there is no name clash. Declare two local elements with the same name but in different scope. Declare an element. Set name="Local". Check that the schema is valid. Declare an element. Set ref="root". Check that the schema is valid. Declare an element. Set name="Local" ref="root". Check that the schema is invalid. Declare an element. Set ref="root" name="Local". Check that the schema is invalid. Declare an element. Set name="root" ref="root". Check that the schema is invalid. Declare an element. Set name ="Local" nillable="true" type="xsd:boolean". Check that the schema is valid. Declare an element. Set ref="Main" block="#all". Check that the schema is invalid. Declare an element. Set name ="Local" type="xsd:boolean". Check that the schema is valid. Declare an element. Set ref="Main" type="xsd:boolean". Check that the schema is invalid. Declare an element. Set ref="Main" minOccurs="0". Check that the schema is valid. Declare an element. Set ref="Main" maxOccurs="unbounded". Check that the schema is valid. Declare an element. Set ref="Main" id="X123". Check that the schema is valid. Declare an element. Set ref="Main" nillable="true". Check that the schema is invalid. Declare an element. Set name ="Local" default="true" type="xsd:boolean". Check that the schema is valid. Declare an element. Set ref="Main" default="true". Check that the schema is invalid. Declare an element. Set name ="Local" fixed="true" type="xsd:boolean". Check that the schema is valid. Declare an element. Set ref="Main" fixed="true". Check that the schema is invalid. Declare an element. Set name ="Local" form="qualified" type="xsd:boolean". Check that the schema is valid. Declare an element. Set ref="Main" form="qualified". Check that the schema is invalid. Declare an element. Set name ="Local" block="#all" type="xsd:boolean". Check that the schema is valid. Declare an element using inline complex type definition. Check that the schema is valid. Declare an element using inline complex type definition. Set its ref attribute. Check that the schema is invalid. Declare an element using inline simple type definition. Check that the schema is valid. Declare an element using inline simple type definition. Set its ref attribute. Check that the schema is invalid. Declare an element with key . Check that the schema is valid. Declare an element with key . Set its ref attribute. Check that the schema is invalid. Declare an element with unique . Check that the schema is valid. Declare an element with unique . Set its ref attribute. Check that the schema is invalid. Declare an element with keyref . Check that the schema is valid. Declare an element with keyref . Set its ref attribute. Check that the schema is invalid. Declare an element root . Use element information item with respect to the element declaration. The negative case uses undeclared element. Declare an element with a sequence of elements of type int. Name the elements using 7 punctuation characters: hyphen ('-', \u002D, HYPHEN-MINUS), period ('.', \u002E, FULL STOP), underscore ('_', \u005F, LOW LINE), dot ('.', \u00B7, MIDDLE DOT), \u0387, GREEK ANO TELEIA, \u06DD, ARABIC END OF AYAH and \u06DE, ARABIC START OF RUB EL HIZB. The document name00801_p.xml sets the elements to 0, 1, 2, ..., 6 respectively. Declare an element with a sequence of two int elements. Name the first one using 7 punctuation characters: hyphen ('-', \u002D, HYPHEN-MINUS), period ('.', \u002E, FULL STOP), underscore ('_', \u005F, LOW LINE), dot ('.', \u00B7, MIDDLE DOT), \u0387, GREEK ANO TELEIA, \u06DD, ARABIC END OF AYAH and \u06DE, ARABIC START OF RUB EL HIZB. Name the second element with the same name except the characters described. The document name00802_p.xml sets the elements to 0 and 1 respectively. Declare an element with a sequence of three integer elements. Name them as follows: "aa111a2Aa", "aa22B3c", "aa3-4_". The document name00803_p.xml sets the elements to 0, 1 and 2 respectively. Declare an element with a sequence of integer elements. Name them as follows: "aaaa", "bbbB", "ccCc", "ddDD", "eEee", "fFfF", "pPPp", "gGGG", "Hhhh", "IiiI", "JjJj", "KkKK", "LLll", "MMmM", "NNNn", "OOOO", "bbb0", "cc0c", "dd00", "e0ee", "f0f0", "p00p", "g000", "bbb_", "cc_c", "dd__", "e_ee", "f_f_", "p__p", "g___", "H111", "I11I", "J1J1", "K1KK", "LL11", "MM1M", "NNN1", "H---", "I--I", "J-J-", "K-KK", "LL--", "MM-M", "NNN-". The document name00804_p.xml sets all the elements. Declare an element with a sequence of two integer elements. Name the first one as "_-." and the second one as "_-0.". The document name00805_p.xml sets the attributes to 0 and 1 respectively. Define nillable element with content type which requires content. Try nillable=false. Define nillable element with content type which requires content. Try nillable=false. Define nillable element with content type which requires content. Try xsi:nil=false. Declare a non-nillable element. Try xsi:nil="true".The test is negative. Declare a nillable element. Set the element to be nil . Negative case tries to have characters. Declare a nillable element of a complex type. Set the element to be nil . Negative case tries to have children. Declare a nillable element. The the second variant declares the element to have fixed value. Declare a nillable element. The the second variant declares the element to have fixed value. Define one global element and one local. Using localy scoped element within the complex type. Using localy scoped element within the complex type. Define a group with two elements. Use the group in a complexType. Define two elements within one substitution group and one outside the group. Define an element within a substitution group of another one. Then the last one within another group. Check the following: 1. the first element substitutes the element of the second group 2. the second element doesn't substitute the first one Define three elements within one substitution group. The first has the same type, the second is derived as restriction and the third derived as extension. All the elments are the memebers of the substitution group. Try to rule out extension by means of {substitution group exclusions} property of the head element declaration. Define three elements within one substitution group. The first has the same type, the second is derived as restriction and the third derived as extension. All the elments are the memebers of the substitution group. Try to rule out extension by means of {substitution group exclusions} property of the head element declaration. Define one element within a substitution group headed by another element. The elements have the same type. Try to rule out both restriction and extension by means of {substitution group exclusions} property of the head element declaration. Try to substitute the head with the first element. Define one element within a substitution group headed by another element. The elements have the same type. Try to rule out both restriction and extension by means of {substitution group exclusions} property of the head element declaration. Try to substitute the head with the first element. Define one element within a substitution group headed by another element. The elements have the type extended from the type of the head element. Try to rule out both restriction and extension by means of {substitution group exclusions} property of the head element declaration. Try to substitute the head with the first element. Define one element within a substitution group headed by another element. The elements have the type extended from the type of the head element. Try to rule out both restriction and extension by means of {substitution group exclusions} property of the head element declaration. Try to substitute the head with the first element. Define one element within a substitution group headed by another element. The elements have the type extended from the type of the head element. Try to rule out both restriction and extension by means of {substitution group exclusions} property of the head element declaration. Try to substitute the head with the first element. Omit the finalDefault attribute. Set finalDefault attribute to "#all" Set finalDefault attribute to "restriction" Set finalDefault attribute to "extension" Set finalDefault attribute to "extension restriction" Set finalDefault attribute to "restriction extension" The final attribute is set to illegal value. Try to set final attribute to "#all #illegalValue" Try to set final attribute to "restriction #illegalValue" Try to set final attribute to "extension #illegalValue" Try to set final attribute to "extension restriction #illegalValue" Try to set final attribute to "restriction extension #illegalValue" Various subsets of the final attribute values are used for a number of elemen declarations. Define two elements with the same name in two different Namespaces. Make their content types incompatible. Check that validation takes into account the property {target namespace}. Define unqualified element. Set the form attribute of the local element declaration to qualified . Omit the elementFormDefault attribute. Set the form attribute of the local element declaration to unqualified . Omit the elementFormDefault attribute. Omit the form attribute of the local element declaration. Omit the elementFormDefault attribute. Set the form attribute of the local element declaration to qualified . Set the elementFormDefault to qualified . Set the form attribute of the local element declaration to unqualified . Set the elementFormDefault to qualified . Omit the form attribute of the local element declaration. Set the elementFormDefault to qualified . Set the form attribute of the local element declaration to qualified . Set the elementFormDefault to unqualified . Set the form attribute of the local element declaration to unqualified . Set the elementFormDefault to unqualified . Omit the form attribute of the local element declaration. Set the elementFormDefault to unqualified . Element information items validated by a top-level declaration must be qualified with the {target namespace} of that declaration. If {target namespace} is absent , element information items validated by a top-level declaration must be unqualified. Declare one local element that refers to a global one. Check that the element is validated according to the type of the referred element. Define an element with a certain type. Ensure the value is validated according to the type. Define an element with a simpleType. Ensure the value is validated according to the type. Define an element with a complexType. Ensure the value is validated according to the type. Define an element by means of type attribute. Ensure the value is validated according to the type. Define an element by means of the substitutionGroup attribute. Ensure the value is validated according to the type. Define an element with the default type. Define another element of type anyType. Ensure the anyType element may substitute for the default type one. Declare a global element with a certain type. Declare another element. Specify the type by reference. Ensure the value is validated according to the type. Eelements within group produce either particles which contain global element declarations (if there's a ref attribute) or local declarations otherwise. Eelements within complexType produce either particles which contain global element declarations (if there's a ref attribute) or local declarations otherwise. For complete declarations, top-level or local, the type attribute is used when the declaration can use a built-in or pre-declared type definition. Otherwise an anonymous <simpleType> or <complexType> is provided inline Declare an element using type . Declare another element with a complexType . Ensure the schema is valid Declare an element using type . Declare another element with a complexType . Set type attribute of the element. Ensure the schema is invalid. Declare an element using type . Declare another element with a simpleType . Ensure the schema is valid Declare an element using type . Declare another element with a simpleType . Set type attribute of the element. Ensure the schema is invalid. Specify a type of an element by means of the type attribute set to a value that is not normalized. Use xsi:type attribute set to a value that has both local and namespace names. If it is a complex type definition, the local type definition must be validly derived from the {type definition} given the union of the {disallowed substitutions} and the {type definition}'s {prohibited substitutions}. In the test the local type definition is validly derived from complexType. If it is a complex type definition, the local type definition must be validly derived from the {type definition} given the union of the {disallowed substitutions} and the {type definition}'s {prohibited substitutions}. In the test the local type is 'prohibited'. If it is a complex type definition, the local type definition must be validly derived from the {type definition} given the union of the {disallowed substitutions} and the {type definition}'s {prohibited substitutions}. In the test the local type is 'dissalowed'. If it is a simple type definition, the local type definition must be validly derived from the {type definition} given the {disallowed substitutions}. In the test the local type definition is validly derived from simpleType. If it is a simple type definition, the local type definition must be validly derived from the {type definition} given the {disallowed substitutions}. In the test the local type is 'dissalowed'. The element information item must be valid with respect to the actual type definition. In the test the actual type definition is a local type definition. For an element to be locally valid its type must not be abstract . Negative case uses local type definition with a type that is abstract . If the type definition is a simple type definition, then the element information item's attributes must be empty, excepting those whose namespace name is identical to http://www.w3.org/2001/XMLSchema-instance and whose local name is one of type , nil , schemaLocation or noNamespaceSchemaLocation . The negative case uses an element with an extra attribute. If the type definition is a simple type definition, then the element information item's attributes must be empty, excepting those whose namespace name is identical to http://www.w3.org/2001/XMLSchema-instance and whose local name is one of type , nil , schemaLocation or noNamespaceSchemaLocation . The negative case uses an element with an extra attribute. The element information item must have no element information item children if it has a simple type. Negative case uses an element of type xsd:anySimpleType with children elements. If the element information item of a simple type is not nil, then its normalized value must be valid with respect to the type definition. Negative case uses invalid value. If the type definition is a complex type definition, then the element information item must be valid with respect to the type definition. Negative case uses invalid value. Define an elements with default value defined. Ensure that the value is validated. Define an elements with default value defined. Ensure that the value is validated. Define an elements with fixed value defined. Ensure that the value may be empty or, otherwise, must be equal to that defined. Define an element. Set default="0". Check that the schema is valid. Define an element. Set fixed="0". Check that the schema is valid. Define an element. Set default="0" fixed="0". Check that the schema is invalid. Define an element. Set default="0" fixed="1". Check that the schema is invalid. Define an element. Set default="1" fixed="0". Check that the schema is invalid. Declare an element. Set type="xsd:boolean" default="true". Check that the schema is valid. Declare an element. Set type="xsd:boolean" default="Yes". Check that the schema is invalid. Declare an element. Set default="alpha". Check that the schema is valid. Declare an element. Set type="xsd:anyType" default="alpha". Check that the schema is valid. Declare an element. Set type="answer" default="true". The content type of type answer is boolean . Check that the schema is valid. Declare an element. Set type="answer" default="Yes". The content type of type answer is boolean . Check that the schema is invalid. Declare an element. Set type="answer" default="true". The content type of type answer allows only "true". Check that the schema is valid. Declare an element. Set type="answer" default="false". The content type of type answer allows only "true". Check that the schema is invalid. Declare an element. Set type="xsd:anySimpleType" default="alpha". Check that the schema is valid. Declare an element. Set type="xsd:boolean" fixed="true". Check that the schema is valid. Declare an element. Set type="xsd:boolean" fixed="Yes". Check that the schema is invalid. Declare an element. Set fixed="alpha". Check that the schema is valid. Declare an element. Set type="xsd:anyType" fixed="alpha". Check that the schema is valid. Declare an element. Set type="answer" fixed="true". The content type of type answer is boolean . Check that the schema is valid. Declare an element. Set type="answer" fixed="Yes". The content type of type answer is boolean . Check that the schema is invalid. Declare an element. Set type="answer" fixed="true". The content type of type answer allows only "true". Check that the schema is valid. Declare an element. Set type="answer" fixed="false". The content type of type answer allows only "true". Check that the schema is invalid. Declare an element. Set type="xsd:anySimpleType" fixed="alpha". Check that the schema is valid. If the declaration has a {value constraint}, the item has neither element nor character [children] and xsi:nil is not specified, the actual type definition is a local type definition then the lexical representation of the {value constraint} value must be a valid default for the actual type definition . In the test the fixed value is valid. If the declaration has a {value constraint}, the item has neither element nor character [children] and xsi:nil is not specified, the actual type definition is a local type definition then the lexical representation of the {value constraint} value must be a valid default for the actual type definition . In the test the fixed value is valid. If the declaration has a {value constraint}, the item has neither element nor character [children] and xsi:nil is not specified, the actual type definition is a local type definition then the lexical representation of the {value constraint} value must be a valid default for the actual type definition . In the test the fixed value is invalid for the local type definition. If the declaration has a {value constraint}, the item has neither element nor character [children] and xsi:nil is not specified, the actual type definition is a local type definition then the lexical representation of the {value constraint} value must be a valid default for the actual type definition . In the test the default value is valid. If the declaration has a {value constraint}, the item has neither element nor character [children] and xsi:nil is not specified, the actual type definition is a local type definition then the lexical representation of the {value constraint} value must be a valid default for the actual type definition . In the test the default value is valid. If the declaration has a {value constraint}, the item has neither element nor character [children] and xsi:nil is not specified, the actual type definition is a local type definition then the lexical representation of the {value constraint} value must be a valid default for the actual type definition . In the test the default value is invalid for the local type definition. The element information item with the lexical representation of the {value constraint} value used as its normalized value must be valid with respect to the actual type definition . In the test the fixed value of built-in type is valid. The element information item with the lexical representation of the {value constraint} value used as its normalized value must be valid with respect to the actual type definition . In the test the fixed value of built-in type is invalid. The element information item with the lexical representation of the {value constraint} value used as its normalized value must be valid with respect to the actual type definition . In the test the default value of built-in type is valid. The element information item with the lexical representation of the {value constraint} value used as its normalized value must be valid with respect to the actual type definition . In the test the default value of built-in type is invalid. The element information item with the lexical representation of the {value constraint} value used as its normalized value must be valid with respect to the actual type definition . In the test the fixed value of a derived type is valid. The element information item with the lexical representation of the {value constraint} value used as its normalized value must be valid with respect to the actual type definition . In the test the fixed value of a derived type is invalid. The element information item with the lexical representation of the {value constraint} value used as its normalized value must be valid with respect to the actual type definition . In the test the default value a derived type is valid. The element information item with the lexical representation of the {value constraint} value used as its normalized value must be valid with respect to the actual type definition . In the test the default value a derived type is invalid. If there is a fixed {value constraint} the element information item must have no element information item children. If the {content type} of the actual type definition is mixed, then the initial value of the item must match the canonical lexical representation of the {value constraint} value. In the test, the value of the item does not match the specified fixed value. If the {content type} of the actual type definition is a simple type definition, then the actual value of the item must match the canonical lexical representation of the {value constraint} value In the test, the value of the item does not match the specified fixed value. Declare an element. Specify the following: type="xsd:ID". Check that the declaration is valid. Declare an element. Specify the following: type="xsd:ID" fixed="alpha". Check that the declaration is invalid. Declare an element. Specify the following: type="xsd:ID" default="alpha". Check that the declaration is invalid. Declare an element. Specify the following: type="derivedFromID". Check that the declaration is valid. Declare an element. Specify the following: type="derivedFromID" fixed="alpha". Check that the declaration is invalid. Declare an element. Specify the following: type="derivedFromID" default="alpha". Check that the declaration is invalid. Declare an element. Specify the following: type="xsd:string" fixed="alpha". Check that the declaration is valid. Declare an element. Specify the following: type="xsd:string" default="alpha". Check that the declaration is valid. For a string to be a valid default with respect to a type definition, if the type definition is a simple type definition, then the string must be valid with respect to that definition. In the test the fixed value is valid. For a string to be a valid default with respect to a type definition, if the type definition is a simple type definition, then the string must be valid with respect to that definition. In the test the fixed value is invalid for the local type definition. For a string to be a valid default with respect to a type definition, if the type definition is a simple type definition, then the string must be valid with respect to that definition. In the test the default value is valid. For a string to be a valid default with respect to a type definition, if the type definition is a simple type definition, then the string must be valid with respect to that definition. In the test the default value is invalid for the local type definition.