问题标签 [property-testing]

我正在尝试为sGen[Stream[A]]的无限（延迟评估）流定义 a ，A其中每个元素A都可以依赖于先前的元素。

作为最小的情况，我们可以取下Gen[Stream[Int]]一个元素是前一个元素+1或+2前一个元素的位置。这里是一个haskell实现供参考：

我已经尝试Gen.sequence过Stream[Gen[A]]但有一个stackoverflow。我也尝试Gen从头开始定义，但构造函数gen是Gen私有的，并且适用于私有方法/类型。

这种尝试也给出了stackoverflow。

所以我被困住了。有任何想法吗？

我为我的 Haskell 项目构建了初始代码库，其中cabal init 有几个用 Hspec 编写的测试。cabal test它会像预期的那样编译和运行这些测试，并给出失败/通过的消息。

现在我包含了一个quickCheck测试，即使这个测试失败，终端中的输出也无法识别 quickCheck 测试。

但是在 dist/test/ 目录中我可以看到测试日志*** Failed! ...

有没有办法在测试工作流程中“包含” quickCheck 测试。这样我就不必在每次测试运行后查看测试日志。

在使用 scalacheck 时，如果我们使用 forAll 测试任何属性，那么我们只会收到报告失败的测试输入并且没有通过测试输入。

有没有办法将 forAll 给出的所有随机测试输入报告给相应的属性测试？

我有一定的时间来测试一个系统。我可以编写一个运行属性测试直到一小时结束的 Python 属性测试吗？我在hypothesis其中寻找解决方案，但找不到。

我想属性测试库有某种测试用例生成器，我可以从中提取并执行，直到超时。这将是一个可接受的惰性解决方案。

我在使用 QuickCheck 的测试中遇到了一些实例，在某些情况下它可以简化编写我自己的修饰符的事情，但我不确定如何做到这一点。特别是，了解如何为列表和数字的生成器（例如Int）编写修饰符会很有帮助。我知道NonEmptyList, 和Positive,NonNegative已经在库中，但在某些情况下，如果我可以指定类似列表的东西，它不仅是 NonEmpty，而且是 NonSingleton（所以，它有至少 2 个元素），或Int大于 1 的一个，不只是NonZero或Positive，或一个Int(egral)偶数/奇数等。

我正在使用gopter进行属性测试，并且我有兴趣通过并行运行独立测试来加速我的测试运行。

我在文档中找不到任何关于t.Parallel()在我的测试中调用是否安全的参考。虽然，我发现的所有示例都不是真正的测试，它们都是独立的控制台应用程序。

例如，这是我的一项测试 - 添加标记线是否安全？

当呼叫存在时，我没有任何崩溃t.Parallel()，但我担心在没有一些参考表明这样做可能是安全的情况下继续进行。