具有参数类型的 Scalacheck/Scalatest

Question

我想用 scalatest 和 scalacheck 测试通用堆栈。到目前为止我有这个:

"Stack" should "pop the last value pushed" in {
  check(doPushPop(element))
}

def doPushPop[T](element : T) : Boolean = {
  val stack = new Stack[T]
  stack.push(element)
  stack.pop() == element
}

然而，这显然不能编译。如何将通用类型指定为测试的一部分？

Answer 1

如果你想生成随机值，例如整数:

check(doPushPop(_: Int))

但不是使用单个值进行测试，而是应该生成一系列推送/弹出操作并验证一些不变性；堆栈显然不依赖于您放入其中的值，所以我认为像上面那样进行如此简单的测试毫无意义。

您应该阅读如何使用 ScalaCheck 测试有状态系统:

http://www.scalacheck.org/files/scaladays2014/index.html