Xslt 如何使用XSpec测试结果文档的属性完整性？

我正在创建一个使用输入XML的测试，并希望测试元素的存在和所述元素的正确属性。然而，很难让它正常工作

这是我设置的：

<x:scenario label="Scenarios for testing Choice handling">
    <x:context href="input.xml"></x:context>
    <x:scenario label="Choices with DataElements">
        <x:expect label="Abstract class in the uml:Model with an isAbstract attribute" test="/xmi:XMI/uml:Model/packagedElement/packagedElement[@name = 'AdditionalExposureDetail']">
            <packagedElement xmi:type="uml:Class" xmi:id="..." name="AdditionalExposureDetail" visibility="public" isAbstract="true">...</packagedElement>
        </x:expect>

其思想是输出转换将在/xmi:xmi/uml:Model/packagedElement/packagedElement[@name='AdditionalExposureDetail']处包含一个元素，并且该元素将具有正确的属性签名。经过多次迭代之后，我无法让它工作——最新的一次迭代给出了一个空节点集作为结果，即使手动运行转换，XPath也是正确的

---

我做错了什么？

经过更多的催促，最终导致运行转换的XSPec出现了某种程度的错误，并且生成的文档看起来一点也不正确——因此针对它的测试失败了。我已经报告了，我们将看看接下来会发生什么…

您能分享到目前为止的XSLT吗？XSLT转换还是XSpec？我认为我还不能分享这个转换：我认为问题在于Saxon EE正在被oXygen使用，这似乎给我的文档带来了一些问题。不幸的是，输出不可见。到目前为止，我一直在与-PE和-HE一起成功地进行转型。因此，我将尝试与他一起运行XSpec，然后看看会发生什么，这可能是问题的根源。