Python 对于假设策略，如何从最大值而不是最小值开始测试用例？

我不熟悉假设，我想测试一个从假设策略中获取整数输入的函数：

@given(strategy.integers(min_value=2, max_value=9))
def test_function(t):
    #...

假设从min_值2到9开始测试函数

有没有办法扭转这种局面？

---

我希望测试用例从t=9开始，而不是从t=2开始

策略通常随机选择其值。因此，您的属性（即测试用例）永远不应该依赖于特定的值顺序

大多数情况下，测试方法的每次调用都应该完全独立于之前或以后的任何调用。如果您的测试方式需要依赖项，请告诉我们更多关于您测试的内容和方式，以便推荐测试方法

假设从min_值2到9开始测试函数

不，假设检验的是最小输入，然后是随机顺序的其他输入

---

如果测试用例的顺序很重要，那么显式循环比基于属性的测试更好

谢谢你的回复。我想找出接口调用完成后，断言成功所需的最小延迟。因此，我希望测试用例从时间的max_值开始，然后朝min_值前进，直到它开始失败。到目前为止，由于测试用例以min_值开始，它显然在t=0或t=2时失败。那么，我有没有办法使用策略找到时间的边界值呢？另外，测试方法调用之间没有依赖关系。我想我不会使用假设来达到这个目的。我宁愿自己倒计时延迟，从main运行测试方法。我想利用假设和基于属性的测试来达到这个目的。就我所知，你还没有找到可以用PBT检查的房产。您描述的测试用于找到一个阈值作为属性不变量的候选。这不同于提出一个不变量，这个不变量应该保持不变，让假设发现它是否是真的。这就是为什么假设在这里不是很合适的原因。但也许我误解了你的意图？谢谢你的指导。我现在更明白了：）