xslt - XSpec を使用して、結果のドキュメントの属性の完全性をテストする方法は?

Question

入力 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は正しいです!

私は何を間違っていますか？