4

作为一个学习项目，我正在将一些 Haskell 代码（我不熟悉）翻译成 Python（我很熟悉）......

我正在翻译的 Haskell 库具有使用基于属性的 QuickCheck 测试的测试。在 Python 方面，我使用 Hypothesis 作为基于属性的测试库。

Haskell 测试使用如下所示的辅助函数：

mkIndent' :: String -> Int -> Gen String
mkIndent' val size = concat <$> sequence [indent, sym, trailing]
  where
    whitespace_char = elements " \t"
    trailing = listOf whitespace_char
    indent = frequency [(5, vectorOf size whitespace_char), (1, listOf whitespace_char)]
    sym = return val

我的问题是关于frequency这个助手中的生成器。 http://hackage.haskell.org/package/QuickCheck-2.12.6.1/docs/Test-QuickCheck-Gen.html#v:frequency

我理解它的意思是大多数时候它会vectorOf whitespace_char以预期的形式返回size，但 5 次中有 1 次会返回listOf whitespace_char，它可以是任何长度，包括零。

在库的上下文中，不尊重的缩进size将为被测函数建模错误的输入数据。所以我看到了偶尔产生这种输入的意义。

我目前不明白的是为什么 5:1 的比例有利于有效输入？我本来希望基于属性的测试框架生成各种有效和无效的输入。现在我假设这有点像优化，所以它不会花费大部分时间来生成无效示例？

我的问题的第二部分是如何将其转化为假设。AFAICT 假设没有任何等效的frequency生成器。

我想知道我是否应该尝试frequency从现有的假设策略中自己构建一个策略，或者习语本身是否不值得翻译，我应该让框架生成类似的有效和无效示例？

我目前拥有的是：

from hypothesis import strategies as st

@st.composite
def make_indent_(draw, val, size):
    """
    Indent `val` by `size` using either space or tab.
    Will sometimes randomly ignore `size` param.
    """
    whitespace_char = st.text(' \t', min_size=1, max_size=1)
    trailing = draw(st.text(draw(whitespace_char)))
    indent = draw(st.one_of(
        st.text(draw(whitespace_char), min_size=size, max_size=size),
        st.text(draw(whitespace_char)),
    ))
    return ''.join([indent, val, trailing])

如果我在 shell 中生成一些示例，这似乎正是我认为应该做的。

但这是我第一次使用假设或基于属性的测试，我想知道通过用frequency简单的替换分布是否会丢失一些重要的东西one_of？

4

1 回答 1

4

据我所知，您已经正确理解了frequency此处使用的目的。它用于允许偶尔出现大小错误的缩进，而不是（1）只生成大小正确的缩进，而不会测试错误的缩进大小；或者 (2) 生成随机大小的缩进，这将一遍又一遍地测试坏缩进，但只生成一小部分具有良好缩进的案例来测试代码的其他方面。

现在，5:1 的好与（可能）坏的缩进大小的比例可能是相当随意的，如果没有看到正在测试的细节，很难知道 1:1 还是 10:1 会是更好的选择。

不过幸运的是，关于将其移植到，拥有一个在不同策略之间不统一选择的策略hypothesis的答案包括一条已删除的评论：

假设实际上并不支持用户特定的概率——我们从均匀分布开始，但根据观察到的输入的覆盖范围对其进行偏差。[...] – Zac Hatfield-Dodds 2018 年 4 月 15 日 3:43

这表明“假设”包在使用时会自动调整权重one_of以增加覆盖率，这意味着它可能会在您的make_indent_实现中自动增加具有正确大小的案例的权重，使其成为一种自动版本的frequency.

于 2019-03-24T22:18:20.313 回答