1

我想知道如何在由 scalaxb 生成的类型上使用 scalacheck，这些类型源自像这样的复杂 xsd：

http://wiki.xmldation.com/@api/deki/files/379/=pain.001.001.03.xsd

实际文件类似于付款，我想以一种或其他方式限制测试数据（帐户所有者/号码、金额、国家/地区）。

要测试的实际组件是：xml 解析器检查语法并生成错误消息，xml 解析器将文档解析为类似记录的数据结构，xml 打印机编写此类文档。

可行吗？

4

1 回答 1

1

检查 scalaxb 生成的案例类和类型类实例的有效性的方法之一是进行往返。它并不完美，但它应该测试类的一致性。

例如，您可以从 XML 文档开始，将其解析为案例类，然后再次将其转回 XML 文档。为此，您需要定义一个涵盖各种场景的生成器。

或者，反过来，从任意案例类开始，将它们转换为 XML 文档，然后将其解析回案例类。我认为定义像任意生成器示例这样的案例类生成器会更直接：

implicit lazy val arbBool: Arbitrary[Boolean] = Arbitrary(oneOf(true, false))

例如，可以以相同的方式定义Arbitrary以下实例。AddressType2Code

<xs:simpleType name="AddressType2Code">
  <xs:restriction base="xs:string">
    <xs:enumeration value="ADDR"/>
    <xs:enumeration value="PBOX"/>
    <xs:enumeration value="HOME"/>
    <xs:enumeration value="BIZZ"/>
    <xs:enumeration value="MLTO"/>
    <xs:enumeration value="DLVY"/>
  </xs:restriction>
</xs:simpleType>

使用这些作为构建块，Arbitrary可以构造复杂类型的实例，如implicit def arbTree[T].

拥有实例的好处是Arbitrary，您可以继续使用它来测试您的业务逻辑代码，假装 XML 文档已经存在。

于 2013-07-11T21:27:18.760 回答