提到另一个选项 - 在这个简单的情况下 - 进行全方位检查:在 JUnit 5 平台上使用jqwik进行基于属性的测试:
import org.junit.jupiter.api.*;
import net.jqwik.api.*;
import net.jqwik.api.constraints.*;
class PartitionedFunctionProperty {
@Property
void below80returnTrue(@ForAll @IntRange(min= 0, max = 79) int aNumber) {
Assertions.assertTrue(someMethod(aNumber));
}
@Property
void from80returnFalse(@ForAll @IntRange(min = 80, max = 100) int aNumber) {
Assertions.assertFalse(someMethod(aNumber));
}
private boolean someMethod(int aNumber) {
if (aNumber < 80) return true;
return false;
}
}
如果你想真正看到完整的范围真的被生成了,@Report(Reporting.GENERATED)
给属性方法添加注释,你会得到以下输出:
timestamp = 2018-12-05T14:50:36.668, generated = [80]
timestamp = 2018-12-05T14:50:36.671, generated = [81]
timestamp = 2018-12-05T14:50:36.672, generated = [82]
timestamp = 2018-12-05T14:50:36.672, generated = [83]
...
timestamp = 2018-12-05T14:50:36.676, generated = [98]
timestamp = 2018-12-05T14:50:36.676, generated = [99]
timestamp = 2018-12-05T14:50:36.677, generated = [100]
timestamp = 2018-12-05T14:50:36.679
tries = 21
checks = 21
generation-mode = EXHAUSTIVE
after-failure = SAMPLE_ONLY
seed = 4490524914178941008
在 github 上找到完整的工作示例。