问题标签 [scalacheck]

我想使用 ScalaTest 的 Checkers 特性来使用 ScalaTest 案例中的 ScalaCheck。

我正在玩的一个简单案例是：

我需要创建一个任意的 LocalDate，所以我尝试了这个：

它不编译，说，

错误：找不到参数 c 的隐式值：org.scalacheck.Choose[org.joda.time.LocalDate] 隐式 val abc：Arbitrary[LocalDate] = Arbitrary(Gen.choose(new LocalDate(0L), new LocalDate(Long) .MaxValue)))

和

错误：未找到：值 localDate 检查（localDate.toTimestampUTC.toLocalDateUTC == localDate）

所有 scalacheck 的东西都说：

此后发展并扩展了 Haskell QuickCheck 中没有的功能

那么，这些功能是什么？

我有一个Foo带有构造函数的类型，该构造函数采用Int. 如何定义用于 scalacheck 的implicit Arbitraryfor Foo？

我想出了以下解决方案，但对于我的口味来说，它有点过于“手动”和低级：

理想情况下，我想要一个高阶函数，我只需要插入一个Int => Foo函数。

我设法将其缩减为：

但我仍然觉得必须有一个稍微简单的方法。

考虑以下类别的定义：

这是一元函数的一个实例：

现在，类别受某些法律的约束。相关组成（.）和身份（id）：

我想用 ScalaCheck 对此进行测试。让我们尝试整数上的函数：

但这些是通过 (i) 特定类型 ( Int) 和 (ii) 特定功能 ( intG) 量化的。所以这是我的问题：在概括上述测试方面我能走多远，以及如何？或者，换句话说，是否有可能创建任意A => B函数的生成器，并将其提供给 ScalaCheck？

Scala 已安装并且工作正常。
scalacheck.jar 放在 /bin 中。
我使用了以下命令

之后，当我尝试以下命令时，

我收到以下错误。

我在使用 scalacheck 时可能犯了一些错误，请纠正我并给出正确的命令，以便我能够在解释器模式下在 Ubuntu 中使用 scalacheck。

我正在尝试实现一个简单的属性检查，但 Scalacheck 忽略了我的生成器。我在这里做错了什么？

这就是 SBT 的结果

我在 Specs2 中编​​写了一个 ScalaCheck 测试用例。测试用例放弃了，因为太多的测试被丢弃了。但是，它并没有告诉我为什么它们被丢弃。我怎样才能找出原因？

我试图在 ScalaCheck 中生成 f(x) = ax + b 形式的任意函数，其中 a 和 b 是任意整数。我该怎么做呢？

我试过：

但我收到一个错误：

为什么这不起作用？我不确定为什么会收到重载方法错误。

我正在编写一个服务，它接受一个案例类并将其序列化为 json，然后我将其发送到运行 Elastic Search 的实例。

我希望 scalacheck 生成几个带有随机缺失数据的案例类，如下所示：

你明白了，要么填写值，要么将它们留空（最后一个是Long类型。

这是容易的部分，问题是生成的json不只是省略“归档”，而是省略了整个部分，例如：

如果我有一个带有数据的前 3 个字段的案例类，则 json 将是：

所以，简而言之，拥有价值意味着增加

到结果。

您将如何处理这样的用例？

specs2 具有诸如Before、After、Around等特征，以便能够将示例包装在设置/拆卸代码中。

是否有任何东西支持为ScalaCheck 属性的每个“迭代”设置和拆除测试基础设施，即ScalaCheck 要测试的每个值或一组值？

看起来 specs2 的各种 Before、After、Around 特征都是围绕返回或抛出 specs2 Result 实例而设计的，而 Prop 不是 Result。