scala – 如何在属性检查中指定forAll方法的检查数

发布时间：2020-12-16 08:43:54 所属栏目：安全来源：网络整理

导读：forAll方法接受生成器并对它们执行多次检查.默认情况下,生成器通过100次检查.运行次数相乘,如果使用多个生成器,则可能会快速变大. 我想根据它们的重要性对发电机进行排序,并给出无关紧要的检查.所以我需要以某种方式指定每个生成器需要多少次运行.我查看了生

forAll方法接受生成器并对它们执行多次检查.默认情况下,生成器通过100次检查.运行次数相乘,如果使用多个生成器,则可能会快速变大.

我想根据它们的重要性对发电机进行排序,并给出无关紧要的检查.所以我需要以某种方式指定每个生成器需要多少次运行.我查看了生成器和forAll方法的API,但没有发现任何线索.它们都没有采用可能指定检查运行行为的参数.

scalatest为scalacheck的forAll方法提供了包装器.所以我正在寻找包装纸或原件的解决方案.

无论您使用多少个生成器,ScalaCheck都只运行100个(默认情况下)测试. forAll方法不知道要运行多少个测试,它只会评估一次属性. Test.check将调用所有指定的次数.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!