Scala：基于属性的测试：如何在编写测试时知道所有的必要测试用例

Question

我正在阅读关于使用Scala语言的Property based testing。在这张幻灯片中，他们提出了这个概念：证明函数a+b是正确的。我们仅仅只证明这些语句是在随机数据为真：

1. A + B = B + A
2. 一个+ 0 = A
3. 一个+ 1 + 1 = A + 2

我的问题是：哪些方法用于检查我们的测试用例是否足够，并且可以覆盖所有不同数据的情况。例如在前面的例子中，我们如何确定在我们的三个属性正确运行后，我们可以确定我们的实现是正确的。

Answer 1

首先，我假设，你在＃3中有一个错字，它应该是+而不是*。

要回答你的问题，你当然可以而不是如果你证明了这三个属性，请确保你的实现是正确的。考虑这一点的实现，例如，满足所有三个属性，但绝对是错误的：

def wrongPlus(a: Int, b: Int) = if(a < 3 || b <3) b a+b else 0 

要明确证明（整数）此外，你需要有一个独立的执行next整数。然后，通过定义：

1. a + 0 = a 
2. a + next(b) = next(a + b) 

如果这些特性适用于任何A和B以及一些操作+，然后+的确是加法。