quickcheck 相关问题

QuickCheck是一个用于软件测试的Haskell库。它生成测试用例并根据程序员提供的断言验证它们。

如何使用QuickCheck在Haskell中进行迭代测试？

您如何在Haskell QuickCheck中生成一个随机实例，然后对该实例进行进一步的测试？让我举一个例子来说明。在以下代码段中，我生成了一个...

haskell testing quickcheck

回答 1 投票 1

如何通过基于属性的测试生成有意义的示例来测试n元属性？

[在基于属性的测试设置中，例如Haskell对自定义数据结构的快速检查，如何为关系的n元属性（例如，传递性或对称性）生成测试数据？ ...

unit-testing testing quickcheck property-based-testing

回答 1 投票 0

Haskell：创建函数实例

我目前正在从非常出色的Haskell中学习第一性原理，并且尝试使用QuickCheck检查每种数据类型的仿函数实例时，我偶然遇到了市长...

haskell quickcheck

回答 1 投票 -3

自定义QuickCheck失败消息

test1 = hspec $确实描述了“ blabla” $做到了“应该等于” $ verbose $ \ input-> ...在上面的代码中，当测试失败时，它将打印失败的输入。但是我实际上对...

haskell quickcheck

回答 1 投票 2

QuickCheck顺序映射密钥生成

我正在尝试测试自定义数据类型的逻辑。它接收Map Int String作为参数，然后我需要在对象内部的Map中添加一个元素。类型声明和插入函数...

haskell quickcheck

回答 1 投票 0

QuickCheck中的相关收缩

我面临着为生成器编写收缩函数的问题，该函数取决于另一个输出器的输出值。基本上是以下形式的生成器：做一个

haskell quickcheck haskell-hedgehog

回答 1 投票 3

QuickCheck：为什么没有通过测试的功能以及要使用的功能呢？

为什么没有类似于刺猬的成功的QuickCheck功能？特别是，我想知道如何翻译以下属性：prop_specialPair :: Property ...

haskell quickcheck haskell-hedgehog

回答 1 投票 0

如何在Haskell中使用属性输出创建quickCheck属性？

您如何创建一个属性来检查提供的所有解决方案是否都是有效的解决方案，我需要将其作为属性输出，但是我不确定该如何做，我只知道如何为...输出布尔值。 >

haskell types sudoku quickcheck

回答 1 投票 1

如何生成使用MVar的数据类型？

我有一个看起来像这样的数据类型：data PageLogCommand = LogPage Page |停止（MVar（）），然后我想创建Gen GenLogLogCommand类型的生成器。对于停止命令...

haskell generator quickcheck

回答 1 投票 0

如何从每个可能的字符生成字符串？

目前，我正在生成这样的字符串：arbStr :: Gen字符串arbStr = listOf $元素（字母++数字），其中alpha = ['a'..'z']数字= ['0'.. '9']但是显然这只是...

haskell generator quickcheck

回答 3 投票 1

在Quickcheck中组合不同数据类型的生成器

我想将两个不同数据类型的自定义生成器组合在一起，但是将它们组合在一起形成另一个数据类型。在下面的示例中，我想将生成器用于豆类和...

haskell quickcheck

回答 1 投票 0

如何编写Continuation Monad的Functor实例？

newtype Cont ka = Cont {runCont ::（a-> k）-> k}实例函子（Cont k）其中-fmap ::（a-> b）->（Cont ka）->（Cont kb ）fmap f（继续akTok）=继续$ ???我的疑问：...

haskell continuations quickcheck continuation-passing

回答 1 投票 2

QuickCheck如何检测数据类型？

如果我们定义这样的函数，例如:: int->属性，然后运行quickCheck fun，则quickCheck开始生成Int类型的随机数据。问题是quickCheck如何检测到...

haskell quickcheck

回答 1 投票 -1

QuickCheck：如何使用穷举性检查器来防止遗忘总和类型的构造函数

我有一个Haskell数据类型，例如data Mytype = C1 | C2字符| C3 Int字符串如果我遇到Mytype，但忘记处理其中一种情况，GHC会给我警告（穷举检查）。我现在...

haskell quickcheck

回答 4 投票 14

为什么其中一项完全收缩后收缩停止

我正在查看收缩中的注释：很容易将最后一行写为[Branch x'l'r'| x'

haskell quickcheck

回答 1 投票 4

一套快速检查测试与实现相匹配是好还是坏？

我正在尝试使用Haskell的QuickCheck，虽然我熟悉测试方法背后的概念，但这是我第一次尝试将它用于一个项目......

haskell functional-programming business-logic quickcheck property-based-testing

回答 3 投票 7

假设相当于QuickCheck频率发生器？

作为一个学习项目，我正在将一些Haskell代码（我不熟悉）转换为Python（我很清楚）...我正在翻译的Haskell库具有使用QuickCheck的测试......

python haskell quickcheck property-based-testing python-hypothesis

回答 1 投票 3

使用类型类约束快速检查并报告生成的值？

我正在尝试为国际象棋游戏进行基于属性的测试。我已经设置了以下类型类Monad m => HasCheck m其中isCollision：...

haskell testing typeclass quickcheck

回答 1 投票 2

为什么这个缩小树看起来就像使用过滤器时那样

我试图了解使用hedgehog集成收缩时滤波器在发电机收缩树中的作用是什么。考虑以下功能：{ - #LANGUAGE ...

haskell quickcheck property-based-testing haskell-hedgehog

回答 2 投票 2

QuickCheck - Haskell（生成随机字符串日期）

我需要生成一个由空格分隔的名称 - 日期字符串，其中名称只是一个随机字符长度，日期只有4个数字。例如：“dfghjkl-1234 derftgyhjuik-5678”现在......

haskell quickcheck

回答 1 投票 0

quickcheck 相关问题

最新问题