【发布时间】：2020-02-21 10:18:37
【问题描述】：
我想对文件中的示例数据集运行 scalacheck。如何创建一个从该文件读取数据并允许我检查其属性的生成器？
【问题讨论】：
标签： scalacheck property-based-testing
【发布时间】：2020-02-21 10:18:37
【问题描述】：
你可以提前读入所有数据，然后使用
Gen.oneOf(dataSet)
随机选择集合中的一个值。
如果数据集太大而无法一次读取，您可以使用生成访问索引
Gen.choose(1, setSize)
并且只读取选定的条目。
【讨论】：
-
关于第二种方法。使用第二种方法，我仍然只能读取数据的子集，对吗？不是整个数据集
-
所以您想针对文件中的所有条目进行测试？那将是参数化测试。我不知道 Scalacheck 是否支持。