问题标签 [scalacheck]

我必须测试一个无循环图并且总是检查字符串是否不同不是很有用（它会引发异常）。必须有一个更好的解决方案，但我无法想出它，我有点迷失在 specs2 文档中。这是代码示例：

如果 a 和 c 相同，createDirectedEdge 将抛出异常（我对该行为有不同的测试）。

我正在为我的案例类实现Shrink 实例。在我看来，宏可以完成这项工作。有人实施了吗？

我第一次尝试 ScalaCheck，我想生成一个有序的 Ints 数组。

我阅读了文档并进行了一些搜索，但没有找到方法。

有人可以对此有所了解吗？

谢谢

我正在尝试在 scalatest.FlatSpec 测试文件中使用 scalacheck 属性生成器。

测试应该失败并由 junit 框架（在我的例子中是 eclipse）报告，但测试通过和错误只显示在控制台中。

输出如下

我原以为错误会冒泡到 junit 框架。

我有以下依赖项：

我如何使用 scalacheck 来查看列表中的每个项目是否已正确递增。添加的功能只是将 5 添加到它的参数中。在我标记问题区域不起作用的地方，我怎样才能更好地检查一个列表的每个元素与另一个元素？

我正在尝试使用 ScalaTest 进行基于属性的测试。我使用 2 个自定义生成器编写了一些测试用例，它们运行良好。但是，当我使用一个自定义生成器定义 forAll 时，如下所示：

我在 Eclipse 中得到如下编译错误：

类型不匹配; 找到： (org.scalacheck.Gen[A], DataGeneratorTest.this.PropertyCheckConfigParam*) 需要：?0C[?0E] 请注意，隐式转换不适用，因为它们不明确：在 [A] 类型的对象 Predef 中的两个方法 ArrowAssoc (self: A)ArrowAssoc[A] 和方法 Ensuring in object Predef of type [A](self: A)Ensuring[A] 是来自 (org.scalacheck.Gen[A], DataGeneratorTest.this.PropertyCheckConfigParam* 的可能转换函数) 到?0C[?0E]

我尝试了 ScalaTest 文档中的示例：http ://www.scalatest.org/user_guide/generator_driven_property_checks

通过做

并得到同样的错误。

但是，当我在 SBT 中编译它时，没有错误。

sbt compile Java HotSpot(TM) 64-Bit Server [info] Loading project definition from C:\xxx [info] Set current project to cree (in build file:/C:/xxx) [info] Compiling 20 Scala sources to C :\xxx\target\scala-2.11\classes...

[成功] 总时间：37 s，完成时间 26-Mar-2015 20:04:15

我不确定出了什么问题。有人可以帮忙吗？谢谢。

环境：

• 操作系统：Windows 7 Enterprise SP1 64 位
• 斯卡拉 IDE：4.0.0
• 斯卡拉版本：2.11.6
• ScalaTest 版本：2.2.4
• ScalaCheck 版本：1.12.2

比如这样：

我在 Scala 中编写了这个测试方法来测试 REST 服务。

但我想测试至少一个 productInfo.getInventoryInfo 不是 null而不是每个 productInfo.getInventoryInfo is not null。

在下面的代码中，如何让 Specs2 执行第一个测试？“打印的”测试在它应该失败时通过。由于. forAll()_new Scope

这些println语句仅用于跟踪输出。如果您看到任何以“one”开头的行，请告诉我。

空Scope只是为了说明问题。这是从我实际使用变量的代码中剥离出来的Scope。

这是我的输出：

PS 我将我的项目依赖项从版本 2.4.15 更新到 specs2 3.5。还是有这个问题...

使用scalacheck，可以这样定义一些属性：

我想只为一个属性覆盖默认的最小成功测试数（minSuccessfulTests），例如仅用于"myProp2".

有没有办法做到这一点？