1回答
但是，我们希望使用QuickCheck，而不是使用使用范围[1..100]的列表。
有没有可能让QuickCheck只返回正整数？
浏览 7提问于2016-09-02得票数 10
回答已采纳
对于给定的列表1.n，其中n是随机正整数，我想用两个步骤生成测试数据：
solve :: [a] -> (a, a)shuffle :: [a]
浏览 3提问于2017-02-12得票数 0
回答已采纳
我在练习junit-quickcheck。我希望创建随机树并验证它们的属性。Node的生成器根据一定的概率为其两个分支选择进一步的生成器。
然而，我希望树在每一次跑中的某个时候停止生长。构建一个作为Node的子树的概率必须随着世代的发展而降低。我希望能够通过使用GenerationStatus来控制树的深度，但我不知道具体是如何实现的。另一个假设是在configure()之前调用下一个生成器的方法genera
浏览 5提问于2016-04-06得票数 3
回答已采纳
3回答
我刚刚开始了一个新的Haskell项目，希望从一开始就建立一个良好的测试工作流程。看来Haskell有许多优秀和独特的测试工具以及许多不同的方法来集成它们。
浏览 8提问于2010-06-25得票数 104
回答已采纳
我在运行堆栈/GHCi版本8.4.3的macOS上：<no location info>: error: It is not a在.hs文件中>源代码
浏览 13提问于2021-05-24得票数 0
我有一个属性，它包含一个String列表：我需要约束QuickCheck生成的输入，以便列表中只有非空字符串。
我该怎么做？
浏览 6提问于2015-02-04得票数 7
回答已采纳
说清楚:根据自动化测试，我已经解决了任务-我简单地使用了上面的三次。我只想知道是否有其他根本不同的解决方案。
浏览 0提问于2011-11-17得票数 3
回答已采纳
我正在尝试使用zipWith测试我的QuickCheck实现。我的实现，myZipWith，我想通过与标准函数的比较来进行QuickCheck测试。使用单参数函数，可以使用的Fun (实例化Arbitrary)来解决这个问题。main = doprop_myMap (Fun
浏览 3提问于2017-09-02得票数 3
2回答
我想根据某种“上下文”生成随机术语，我想知道这是否可以使用quickcheck。基本上，我希望传递一个附加的数据类型，以便任意函数能够根据附加的参数生成术语.这是与quickcheck的可能，还是我应该只写我自己的定义的世代？
浏览 0提问于2018-03-18得票数 1
回答已采纳
2回答
嗨，我有以下代码import Test.QuickCheck
rnd <- newStdGen但我得到“不在作用域”生成“，为什么会这样？问候达伦编辑2
如何编写此函数以使其与<
浏览 2提问于2010-12-07得票数 2
1回答
我使用QuickCheck生成任意函数，我希望生成任意函数(即f a == f b当且仅当a == b)。b <- arbitrary (f a /= f b) || (a == b)
但我看到的情况是，生成的函数将不同的输入映射到相同的输出
浏览 3提问于2020-05-25得票数 6
回答已采纳
2回答
使用 ( Haskell QuickCheck测试库的F#版本)从生成测试，我发现随机字符串生成器不会生成空字符串。= null).QuickCheck(); // always passvar strings = Any.ValueIn<string>(null, "non-null string");
Spec.For(strings, s =&
浏览 4提问于2014-04-22得票数 9
回答已采纳
1回答
使用下列代数数据类型：我编写了一个Arbitrary实例有了这个错误： No instance for(Show (Int -> Int))
arising from a use of `<e
浏览 5提问于2014-11-23得票数 0
经过快速检查(不打算使用双关语)，我发现bytestring与版本>= 2.4 && < 2.10和默认情况下的nix构建quickcheck版本2.10.1有依赖关系。在阅读了之后，我知道我可以切换quickcheck的版本。{ compiler ? "default", doBenchmark ?/default.nix { };
QuickCheck = haskellPackagesNew.callP
浏览 2提问于2018-07-02得票数 2
回答已采纳
可以指示基于属性的框架QuickCheck通过使用收集和测量实用程序功能来测量生成特定测试用例的频率(例如:同一人平均下订单的频率，下空订单的频率)。是否有可能像Quickcheck一样，在假设框架中调整由基于规则的状态机生成的测试用例的分布？
浏览 0提问于2019-12-02得票数 0
1回答
我为一个函数编写了一个QuickCheck属性，该函数将两个排序的输入合并为一个排序的输出： if (sorted xs && sorted ys) then在QuickCheck中有没有更好的“条件属性”语法？
浏览 3提问于2012-10-15得票数 14
回答已采纳
1回答
我想将这些测试放在模块中，也许还可以使用编译器标志来打开/关闭它们。
我目前对一些为我生成测试用例的框架并不真正感兴趣，我很乐意自己去做。
浏览 3提问于2014-02-10得票数 2
2回答
当我想使用QuickCheck测试纯代码时，我通常需要编写一个Arbitrary实例。要测试一元代码，我可以使用Test.QuickCheck.Monadic，如本所述。，我的问题是：有什么规范的方法来生成依赖于一元上下文的数据吗？特别是，是否有一元论版本的武断？如何生成需要一元上下文的数据？
浏览 3提问于2012-03-25得票数 9
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
