- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
作为一个学习项目,我正在将一些 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
我的问题具体是关于此助手中的频率
生成器的。 http://hackage.haskell.org/package/QuickCheck-2.12.6.1/docs/Test-QuickCheck-Gen.html#v:frequency
我理解它的意思是大部分时间它会返回具有预期大小
的vectorOf whitespace_char
,但五分之一将返回 listOf whitespace_char
,它可以是任何长度,包括零。
在库的上下文中,不遵守 size
的缩进会为被测函数建模错误的输入数据。所以我明白了偶尔产生这样的输入的意义。
我目前不明白的是,为什么 5:1 的比例有利于有效输入?我本以为基于属性的测试框架会生成各种有效和无效的输入。现在我假设这有点像优化,所以它不会花费大部分时间生成无效示例?
我问题的第二部分是如何将其转化为假设。 AFAICT 假设没有任何等效的频率
生成器。
我想知道我是否应该尝试根据现有的假设策略自己构建一个频率
策略,或者如果惯用语本身不值得翻译,我应该让框架生成类似的有效和无效示例?
我目前拥有的是:
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 中生成一些示例,这似乎完全符合我的想法。
但这是我第一次使用假设或基于属性的测试,我想知道用简单的 one_of
替换 frequency
分布是否会丢失一些重要的东西?
最佳答案
据我所知,您已经正确理解了此处使用 frequency
的目的。它用于允许偶尔错误大小的缩进,而不是 (1) 仅生成正确大小的缩进,这永远不会测试错误的缩进大小;或 (2) 生成随机大小的缩进,这将一遍又一遍地测试错误的缩进,但只生成一小部分具有良好缩进的案例来测试代码的其他方面。
现在,5:1 的好缩进尺寸与(潜在的)坏的缩进尺寸之比可能是相当随意的,如果不了解正在测试的细节,很难知道 1:1 还是 10:1 是更好的选择.
幸运的是,关于将其移植到hypothesis
,Have a Strategy that does not uniformly choose between different strategies 的答案包括已删除的评论:
Hypothesis doesn't actually support user-specific probabilities - we start with a uniform distribution, but bias it based on coverage from observed inputs. [...] – Zac Hatfield-Dodds Apr 15 '18 at 3:43
这表明“假设”包在使用 one_of
增加覆盖率时会自动调整权重,这意味着它可能会自动增加 make_indent_
中具有正确大小的案例的权重> 实现,使其成为一种频率
的自动版本。
关于python - 假设等效于 QuickCheck 频率发生器?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/55316898/
一旦我看到了用C++进行某种假设的方法,例如: int x=7; assume (x==7);//if not right a red error will appear and program wi
我正在尝试测试我的数据库类。这是它的简化示例。 class Database: """ it has more methods but I show only the most important "
这只是一个思考练习,我会对任何意见感兴趣。尽管如果它有效,我可以想出一些我会使用它的方法。 传统上,如果你想对由数组或范围等形成的嵌套循环的结果执行一个函数,你会这样写: def foo(x, y)
当某些假设无效时,MSTest 是否有办法不运行测试?就像 JUnit 的“Assume.*”方法一样: //Setup Assume.assumeEquals(2, count); //Only r
为什么会出现这个警告?如果我检查边界,这并不是一个真正的假设。以及如何修复? 如果num_actions_to_skip设置为 1,而不是 2,错误消失。 谢谢 error: assuming sig
书理解和使用 C 指针 , by Richard Reese 说: The null concept is an abstraction supported by the null pointer c
所以我有两个假设,一个是 h : A -> B,另一个是 h2 : A。如何让 h3 : B 出现在我的假设中? 最佳答案 pose proof (h h2) as h3. 引入h3 : B作为新假设
我知道发生冲突的可能性很小,但如果我生成了一批 1000 个 GUID(例如),是否可以安全地假设它们都是唯一的以节省对每个 GUID 的测试? 奖励问题 测试 GUID 唯一性的最佳方法是什么?也许
这个问题已经有答案了: Jackson JSON: get node name from json-tree (5 个回答) 已关闭 7 年前。 我正在尝试迭代 JsonNode 树,并且我编写了以下
我无法弄清楚如何在 Sympy 中假设复数的正实部。Mathematica 代码示例: a = InverseFourierTransform[ R/(I omega - lambda) + Con
这个问题在这里已经有了答案: 关闭 14 年前。 重复: Do web sites really need to cater for browsers that don’t have Javascr
我使用hypothesis 已经有一段时间了。我想知道如何重用 @given parts。 我有一些大约 20 行,我将整个 @given 部分复制到几个测试用例之上。 一个简单的测试例子 @give
您好,我的 C++ 代码中有一个错误。我有 2 个 .cpp 文件和 1 个 .h 文件,我试图从头文件访问 5 个字符串和 1 个 int,但我收到一条错误消息,提示“缺少显式类型(假设为‘int’
我正在尝试使用 IAR 开发一个项目。这是错误消息:错误 [Pe260]:缺少显式类型(假定为“int”) 问候。 当我尝试:void send_data_byte(unsigned char dat
我正在处理一个数组,我想在其中添加它的一些值。在某些时候,为了仅通过一次计算即可完成此操作,它会要求数组外的索引。 有没有办法说,“如果索引在数组之外,则假定值为 0”? 有点像这样:
在 Python 2 中,我想评估一个包含文字表示的字符串。我想安全地执行此操作,所以我不想使用 eval()——相反,我已经习惯了使用 ast.literal_eval()的任务。 但是,我还想在纯
我正在对时间进行大量计算,通过添加秒数来构建相对于其他时间对象的时间对象。该代码应该在嵌入式设备和服务器上运行。大多数文档都说 time_t 是某种算术类型,通常存储自纪元以来的时间。假设 time_
我正在编写一个程序,其中大多数使用的库函数返回-1 并设置错误号。程序的行为是在发生错误时退出。要从程序外部确定确切的退出点和错误(例如使用 gdb),我想使用以下方法: err = func_1(.
这是我今天考试的一道题: 在 C 中,假设指针是严格类型化的(即,指向 int 的指针不能用于指向 char)。这会降低它的表达能力吗?如果不是,您为什么以及如何补偿此限制?如果是,如何?您还需要添加
我将星期几存储在数据库中,其中星期日 = 1,星期一 = 2 等。 在数据库查询中,我需要将日期转换为 System.DayOfWeek。 根据 MSDN : The value of the con
我是一名优秀的程序员,十分优秀!