scalacheck

1热度

1回答

Scala 2.9.2中的scala runner的类路径中排除scalacheck 2.9.2

A scalacheck jar被意外地包含在Scala 2.9.2的标准发行版中，在lib目录中以及标准的scala运行时类（例如scala-library.jar）中。这是后续Scala发行版的discovered, and fixed。我想运行scala 2.9.2解释器并使用scalacheck的不同版本，但我无法忽视lib中的版本。我想： $ LOAD_SCALACHECK='imp

0热度

2回答

Scalacheck任意使用泛型

我想如下生成任意列表： scala> def validPairs[T] = Arbitrary.arbitrary[List[(T, Option[T])]] suchThat(!_.isEmpty) <console>:8: error: could not find implicit value for parameter a: org.scalacheck.Arbitrary[List[

1热度

1回答

Gen.choose（）和.oneOf（）的输出

运行下面的测试时，将println语句输出为Gen()。基础上ScalaCheck docs，我会一直期待的输出为：（数字，数字） “你好” 或 “世界” class TestScalaCheck extends FlatSpec { @author first test - https://github.com/rickynils/scalacheck/wiki/User-Gui

1热度

1回答

ScalaCheck集合生成器

我正在使用Scalacheck并希望生成给定大小的集合。在scalaCheck中有一个特殊功能，Gen.listOfN(size, Gen[T])。当我在forAll方法中打印生成的集合的大小时，它并不总是具有定义的大小。实际上它只在第一次尝试时具有给定的尺寸。例如，大小6 - >第一次尝试收集的大小是6，第二次尝试的大小只有3。我在做什么错了？

3热度

1回答

scalacheck非确定性方法是否有问题？

我知道我可以make scalacheck tests deterministic，但我有一个更普遍的问题：scalacheck的默认非确定性行为是否会导致实际问题？我一直认为测试应该是确定性的和可重复的，而另一种方式则表明测试设计不好。 Scalacheck似乎被用于一些“严肃”的项目中，所以我想知道打破这个确定性原则是否实际上是一个真实的（不仅是理论上的）问题？

1热度

1回答

ScalaCheck，JUnit以默认生成器中的NoSuchMethod异常结束

我无法从maven内运行我的scalachecks。例如。以下的小文档片断 @RunWith(classOf[JUnitRunner]) final class MyTest extends FunSuite with Checkers { test("t2") { Prop.forAll((a: String, b: String) => (a+b).startsWith(

0热度

1回答

测试具有多于8个参数的函数

ScalaCheck API定义了8个用于从多达8个参数的函数创建属性的所有方法。是否有可能测试具有多于8个参数的功能？

1热度

1回答

枚举的任意元组

我有一个枚举RankAndFile，其中64个值代表棋盘上的正方形。我想获得一个ScalaCheck Arbitrary[(RankAndFile, RankAndFile)]但我不知道如何。到目前为止，我有： implicit val arbitraryRankAndFile = Arbitrary(Gen.oneOf(RankAndFile.values.toSeq)) im

1热度

1回答

与scalacheck

结合scalaxb我不知道如何可以利用scalacheck的对scalaxb生成的类型从复杂的XSD所产生像这样的： http://wiki.xmldation.com/@api/deki/files/379/=pain.001.001.03.xsd 实际的文件类似于支付，我想限制测试 - 数据以一种或其他方式（账户所有者/数量，金额，国家）。要测试的实际组件包括：xml解析器检查语法并生成错误

0热度

1回答

这些scalacheck递归生成器为什么不等价？

在试图学习ScalaCheck工具时，我写了两个版本的Map生成器（我知道其中有一个内置，但这是一个练习）。似乎genMap0和genMap00应该是等价的，并且genMap00是有点清洁，但实际上genMap0作品，但genMap00悲惨的失败了。的yield装饰着一个println可以打开，看看有什么发生（只需编辑speak方法），但即使有这样的信息，我不能说我真正明白为什么差异。这让我认