Я хочу запустить scalacheck для примера набора данных, который у меня есть в файле. Как мне создать генератор, который считывает данные из этого файла и позволяет мне проверять его свойство?
Как вы генерируете данные из файла в scalacheck?
Ответы (1)
Вы можете прочитать все данные заранее, а затем использовать
Gen.oneOf(dataSet)
случайным образом выбрать одно из значений в наборе.
Однако, если набор данных слишком велик для чтения сразу, вы можете просто создать индекс доступа, используя
Gen.choose(1, setSize)
и читать только выбранную запись.
person
johanneslink
schedule
25.10.2019
на втором подходе. Со вторым подходом я все еще могу читать только подмножество данных, верно? Не весь набор данных
- person indraneel; 08.11.2019
Итак, вы хотите проверить все записи в файле? Это будет параметризованное тестирование. Я не знаю, поддерживается ли это Scalacheck.
- person johanneslink; 08.11.2019