3

我尝试使用同一文件夹中的后续 xsd 文件验证以下 XML。根据 Altova XMLSpy，这是完全有效的，但为了帮助一些没有许可证的同事找出基本错误，我尝试使用 python 和“lxml.etree”以及 xmllint 验证文件。这两个说 xml 无效并带有相同的消息：

machineDB.xml:20：模式有效性错误：元素“canframe”：未找到 keyref 'busRef' 的键序列 ['remotebus'] 的匹配项。machineDB.xml 无法验证

有人可以帮忙找出任何人的错吗？

版本：

Altova XMLSpy 专业版 2016 版本。2 sp1 (x64)

lxml.etree 版本

Python : sys.version_info(major=2, minor=7, micro=11, releaselevel='final', serial=0) lxml.etree : (3, 7, 2, 0) libxml used : (2, 9, 4 ) libxml 编译：(2, 9, 4) libxslt 使用：(1, 1, 29) libxslt 编译：(1, 1, 29)

xmllint（使用 libxml 版本 20708）

machineDB.xml 文件：

<machinedb xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="machinedb.xsd">
    <busdefinition>
        <bus name="displaybus"></bus>
        <bus name="remotebus"></bus>
    </busdefinition>
    <cdefinition>
        <c>
            <canbus bus_ref="remotebus"></canbus>
            <canbus bus_ref="displaybus"></canbus>
        </c>
        <c>
            <canbus bus_ref="displaybus"></canbus>
        </c>
        <c>
            <canbus bus_ref="remotebus"></canbus>
        </c>
    </cdefinition>
    <sdefinition>
        <s>
            <canframe bus_ref="remotebus"></canframe>
        </s>
    </sdefinition>
</machinedb>

machinedb.xsd 文件：

<xs:schema xmlns:altova="http://www.altova.com/xml-schema-extensions" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:vc="http://www.w3.org/2007/XMLSchema-versioning" elementFormDefault="qualified" attributeFormDefault="unqualified" vc:minVersion="1.1">
    <xs:element name="machinedb">
        <xs:complexType>
            <xs:sequence>
                <xs:element name="busdefinition" minOccurs="0">
                    <xs:complexType>
                        <xs:sequence>
                            <xs:element name="bus" minOccurs="0" maxOccurs="unbounded">
                                <xs:complexType>
                                    <xs:attribute name="name" type="NameType" use="required"/>
                                </xs:complexType>
                            </xs:element>
                        </xs:sequence>
                    </xs:complexType>
                </xs:element>
                <xs:element name="cdefinition" minOccurs="0">
                    <xs:complexType>
                        <xs:sequence>
                            <xs:element name="c" minOccurs="0" maxOccurs="unbounded">
                                <xs:complexType>
                                    <xs:sequence minOccurs="0" maxOccurs="unbounded">
                                        <xs:choice>
                                            <xs:element name="canbus" minOccurs="0" maxOccurs="unbounded">
                                                <xs:complexType>
                                                    <xs:attribute name="bus_ref" type="NameType" use="required"/>
                                                </xs:complexType>
                                            </xs:element>
                                        </xs:choice>
                                    </xs:sequence>
                                </xs:complexType>
                            </xs:element>
                        </xs:sequence>
                    </xs:complexType>
                </xs:element>
                <xs:element name="sdefinition" minOccurs="0">
                    <xs:complexType>
                        <xs:sequence>
                            <xs:element name="s" minOccurs="0" maxOccurs="unbounded">
                                <xs:complexType>
                                    <xs:sequence minOccurs="0" maxOccurs="unbounded">
                                        <xs:choice>
                                            <xs:element name="canframe" minOccurs="0" maxOccurs="unbounded">
                                                <xs:complexType>
                                                    <xs:attribute name="bus_ref" use="required"/>
                                                </xs:complexType>
                                            </xs:element>
                                        </xs:choice>
                                    </xs:sequence>
                                </xs:complexType>
                            </xs:element>
                        </xs:sequence>
                    </xs:complexType>
                </xs:element>
            </xs:sequence>
        </xs:complexType>
        <xs:key name="busKey">
            <xs:selector xpath="busdefinition/bus"/>
            <xs:field xpath="@name"/>
        </xs:key>
        <xs:keyref name="busRef" refer="busKey">
            <xs:selector xpath="cdefinition/c/canbus |sdefinition/s/canframe"/>
            <xs:field xpath="@bus_ref"/>
        </xs:keyref>
    </xs:element>
    <xs:simpleType name="NameType">
        <xs:restriction base="xs:string">
            <xs:pattern value="[\w_]+"/>
        </xs:restriction>
    </xs:simpleType>
</xs:schema>
4

2 回答 2

3

有趣的问题。如果您在没有自定义限制的情况下设置typeofbus_ref和canbusto ，问题就会消失（请参阅此问题）：xs:string

<xs:attribute name="bus_ref" type="xs:string" use="required"/>
<!--...-->
<xs:attribute name="bus_ref" use="required" type="xs:string"/>

我认为（疯狂的猜测）这是使用 libxml 的工具的一个特定缺点，并且 Xerces 和 Saxon 行为正确。

于 2017-01-26T14:12:14.800 回答
1

架构包含属性

vc:minVersion="1.1"

这表明它是一个 XSD 1.1 模式。使用Liquid XML验证它我得到以下结果

使用 .Net Validating reader 它报告它是有效的。.Net 解析器是 XSD 1.0 解析器，不知道 vc:minVersion 属性，所以忽略它，将其视为 1.0 模式。

在 XSD 1.0 模式下使用 .Xerces Validating 无法验证。Xerces 知道 vc:minVersion 属性，因此忽略模式，因为它不在 1.1 模式下。

在 XSD 1.1 模式下使用 .Xerces Validating它验证. Xerces 知道 vc:minVersion 并且可以使用 XSD 1.1 标准进行验证并认为一切正常。

其他不支持 XSD 1.1 的解析器可以采用任何一种方式。

顺便说一句，我不认为模式包含任何特定于 1.1 的内容（语法或功能），所以我不确定为什么它被标记为 1.1 模式。

但是回到你得到的错误，我认为这是你正在使用的解析器的一个怪癖。

于 2017-01-26T14:50:43.753 回答