1. 引言
在本文中，我们将探讨基于属性的测试。我们将看到基于属性的测试是什么，以及如何使用 Java 的 jqwik 库来实现它。
2. 参数化测试
在深入探讨基于属性的测试之前，我们先简要了解一下参数化测试。**参数化测试是指我们可以编写一个单一的测试函数，然后使用许多不同的参数来调用它。**例如：
@ParameterizedTest
@CsvSource({"4,2,2", "6,2,3", "6,3,2"})
void testIntegerDivision(int x, int y, int expected) {
int answer = calculator.divide(x, y);
assertEquals(expected, answer);
}
大约 7 分钟