2

如果要针对已知类型的输入参数进行测试，包假设提供了一组丰富的策略供使用。

考虑以下类及其使用假设的测试之一：

from hypothesis.strategies import floats, integers, one_of
from hypothesis import given
import unittest

class A:
    def __init__(self, value=0):
        assert isinstance(value, (int, float))
        self.value = value

    @property
    def doubled(self):
        return self.value * 2


class Test_A(unittest.TestCase):

    @given(testval=one_of(floats(allow_infinity=False, allow_nan=False), integers()))
    def test_A_instantiation(self, testval):
        self.assertEqual(testval * 2, A(value=testval).doubled)


if __name__ == '__main__':
    unittest.main()

这会检查两件事：隐式地，如果提供的值是可接受的类型，并且显式地，self.double 中的计算是否正确。

这个测试类可以被认为是不完整的，至少因为除了 float 或 int 之外的任何输入类型都没有被检查：因为它需要另一个测试用例，直接检查断言错误，假设使用 AssertRaises。

我的问题是：你如何在假设检验哲学中做到这一点？

假设似乎没有“not_one_of”策略，也就是说，您可以定义类似“所有内置类型，除了这个和那个类型”。这只留下了定义“one_of”策略的可能性，其中包含一长串可供选择的类型。

注意：这整个情况让我想起了侏罗纪公园的根本问题，当他们检查是否有预期数量的恐龙时，却从未检查过是否有更多。所以我认为没有简单的解决方案，但我昨天首先尝试了假设，所以可能是我缺乏知识。

4

2 回答 2

1

对上述案例的测试永远不会完成，尤其是因为重点是关于测试断言。因此，如上所述，断言应该失败的单个测试就足够了。

于 2017-10-25T07:22:06.077 回答
0

另一种方法是使用假设提供的过滤方法。然后您可以生成Any对象并过滤掉那些您不想要的情况。由于您只会过滤一小部分，因此这仍然是有效的。

于 2019-03-26T13:07:58.543 回答