问题标签 [scalacheck]

这是https://stackoverflow.com/questions/12639454/make-scalacheck-tests-deterministic中的“奖励问题” ，但没有回答：

有没有办法打印出 ScalaCheck 使用的随机种子，以便您可以重现特定的测试运行？

有一个hacky 方法：包装一个随机生成器以在初始化时打印其种子并将其传递给Test.Parameters. 有更好的选择吗？

在尝试学习 ScalaCheck 工具时，我编写了两个版本的 Map 生成器（我知道其中有一个是内置的，但这是一个练习）。

看起来genMap0andgenMap00应该是等价的，并且genMap00更干净一些，但实际上genMap0有效，但genMap00失败得很惨。

yield装饰有一个可以println打开以查看发生了什么（只需编辑speak方法），但即使有了这些信息，我也不能说我真的理解为什么会有差异。这让我觉得我尝试编写的另一个生成器也可能有缺陷。

genMap0有人可以很好地解释和之间的区别genMap00吗？

这是输出（genMap00总是生成空地图）：

我正在将一些 Junit 测试（用于 Java 代码）移植到 Scalacheck 中。Junit 测试之一是使用

http://junit.sourceforge.net/javadoc/org/junit/Assert.html#assertEquals（双，双，双）

现在，当我为相同的内容编写 Scalacheck 属性时，有没有办法提供 Junit API 提供的增量？

是否可以在测试 Java 代码的 ScalaTest （其中为 ScalaCheck 属性混合检查器）中创建自定义任意生成器？例如，以下是 forAll 中每个测试所需的步骤

以上是断言结果等之前的准备代码。

在基于 ScalaCheck + Specs2 的测试中，我需要两个日期，其距离（以天为单位）最大为 Int.MAX_VALUE。

我目前正在使用 ScalaCheck 提供任意生成两个日期：由于日期生成器由 Long 生成器支持，这会导致太多丢弃的案例，使我的测试失败。

解决问题的正确方法是什么：

• 我应该修改我的发电机还是

• 我要修改测试参数吗？

在我的测试中，我对 Specs2 + ScalaCheck 进行了相当广泛的使用，并且有一些模式需要考虑。我还没有发现我的函数应该使用 Arbitrary[T] 还是 Gen[T]，因为它们非常相似：

函数签名会像这样：

还是我应该在Gen抽象级别工作？

想知道是否有人在使用 ScalaCheck 时必须这样做：创建一个自定义生成器以吐出大量 URL。实际上有一个警告，我想测试一个只接受有效/工作 Web URL 的服务。我在想，如果我在一个文件中获得大量有效的外部/WEB URL 并以某种方式输入到自定义生成器中，只能使这成为可能吗？

就像是

这听起来像是一种合理且实际上更重要的是可行的方法吗？

我怎样才能编译这个？List[Int] 是否有隐式生成器，如何将它们纳入范围？我认为import org.scalacheck.Arbitrary._应该足够了，但事实并非如此。

我通过阅读 ScalaCheck 的代码来学习 scala，发现许多组合子都以suchThat. 然而，在许多情况下，这样看起来并不十分必要。我想知道为什么它们是这样设计的。以下是从GitHub中摘录的部分内容：

map从 xs 中选择一个元素，因此xs.contains看起来是多余的。

--

为什么c.size == n需要，因为成功sequence的返回长度为 n？

--

生成的字符串将由alphaChar从大写和小写字母中选择的列表组成。为什么我们需要suchThat再次检查 isLetter？

--

我想知道直接在应用程序中使用 ScalaCheck 是否可行和合适，而不是仅在测试中使用它。我没有仔细阅读它。但在我看来，Gen'sdoApply()是private[scalacheck]因为这些生成器不能直接用于获取基础值。