-
在scalacheck中,如何生成带有时间戳的类?
我想生成一个带有时间戳作为字段之一的数据集。如何使用scalacheck生成器生成时间戳或连续增加的数字? -
给定两个类,我如何概率地测试等效行为
比方说,我有两个实现相同基本API的类,并且我想至少在一部分方法上测试它们是否“随机等效” <sup> 1 -
基于KotlinTest属性的测试和生成器
在Kotlin中,我对有向图有以下定义。 (我仍在学习Kotlin,因此请原谅所有缺点。总是欢迎提出改进和建 -
复杂策略中的@composite vs flatmap
假设允许两种不同的方式来定义派生策略<code>@composite</code>和<code>flatmap</code>。据我所知,前者可以做任何 -
如何通过基于属性的测试生成有意义的示例来测试n元属性?
在基于属性的测试设置(例如Haskell对自定义数据结构的快速检查)中,如何为关系的n元属性(例如,传 -
如何更改由假设生成的测试用例的最大数量?
著名的基于属性的测试框架假设能够生成大量的测试案例。 但是有什么方法可以限制假设产生的 -
如何使用假设的复合策略执行Python函数?
我正在尝试执行一个用<a href="https://github.com/HypothesisWorks/hypothesis" rel="nofollow noreferrer">Hypothesis</a>'<code>@str -
使用假设测试Python函数引发错误
有没有一种方法可以使用<a href="https://hypothesis.readthedocs.io/en/latest/index.html" rel="nofollow noreferrer">Hypothesis</a -
对Java中的自定义有序列表进行基于属性的测试
鉴于以下订购要求: 所有以“ foo”开头的字符串都应放在首位。 所有以“ bar”开头的字符 -
如何在Expecto上重新注册自己的FsCheck Generator
我已经构建了生成器类型,该类型生成三个的倍数。我想在Expecto的测试中使用它,如何注册生成器并告 -
在Scalacheck中生成递归结构
我正在尝试为称为<code>Row</code>的递归数据类型生成一个生成器。行是名为<code>Val</code>的列表,其中<code> -
如何在JS中对堆进行基于属性的测试?
我正在考虑通过基于属性的测试来测试堆数据结构。看完约翰·休斯之后,我开始测试不变式,即以x为 -
有没有更简单的方法可以通过Kotest基于属性的测试来测试所有排列?
我正在使用kotlin + Kotest属性测试,并尝试使用像这样的列表生成器来测试2个参数的所有排列: <pre><co -
支撑测试:生成向量向量的策略
我想用<a href="https://docs.rs/proptest/0.10.1/proptest/" rel="nofollow noreferrer"><em>proptest</em></a>生成DAG。我选择的算 -
并行运行属性测试的迭代?
我有一个基于属性的测试(在Hedgehog中),执行以下操作: <ul> <li>将项目推送到排队的远程服务</li> < -
带有设置和拆卸功能的 FsCheck
<h2>总结</h2> 是否有任何事件可以在每个属性案例之前运行,以便我可以为属性的每次运行运行设置和拆 -
python-hypothesis 如何缩小延迟策略
我目前正在为 Matlab 实现 PBB,并且在某种程度上受到假设的影响。 我不明白假设如何处理递延策略 -
用 flatMap 创建的任意不考虑过滤器
我正在尝试 jqwik(1.5.1 版),我从 <a href="https://jqwik.net/docs/current/user-guide.html#flat-mapping" rel="nofollow norefer -
如何为包装函数编写 Hedgehog 生成器?
我目前正在阅读<em>Thinking with Types</em>这本书。在第三章<em>方差</em>中,作者提供了一个练习,读者应该 -
基于属性的测试的不确定性是否会损害构建可重复性?
我正在学习 FP,并了解了基于属性的测试的概念,对于来自 OOP 世界的人来说,PBT 看起来既有用又危险 -
在 jqwik 属性测试框架中寻找更好的方法来生成图的边列表
目前我正在使用: <pre><code> @Provide Arbitrary<List<Tuple.Tuple3<Integer,Integer,Integer>>> edgeLis -
kotest:自动从数据类派生生成器
我想知道是否可以从数据类自动派生生成器,例如<code>range(1, 107)</code>?