标量检查非确定性方法有问题吗



我知道我可以使scalacack测试具有确定性,但我有一个更普遍的问题:scalacack的默认非确定性行为会导致实际问题吗?我一直认为测试应该是确定性的和可重复的,而另一方面,这意味着测试设计不好。Scalacheck似乎在几个"严肃"的项目中使用,所以我想知道打破这个确定性原则实际上是不是一个现实生活中的(不仅仅是理论上的)问题?

我认为"测试应该具有确定性和可重复性"并不总是适用的。它们显然占据了相当大的位置,但随机测试也很有用。除了QuickCheck/ScalaCheck和朋友们之外,还有模糊化等方法。

最新更新