Можно ли генерировать данные, в частности список, с помощью fscheck для использования вне fscheck? Я не могу отладить ситуацию при тестировании fscheck, когда кажется, что результаты сравнения равны, но fscheck говорит, что это не так.
У меня есть этот генератор для списка объектов. Как мне создать список, который я могу использовать из этого генератора?
let genListObj min max = Gen.listOf Arb.generate<obj> |> Gen.suchThat (fun l -> (l.Length >= min) && (l.Length <= max))
Изменить: эта функция теперь является частью FsCheck API (Gen.sample), поэтому вам больше не нужно следующее...
Вот пример функции для генерации n образцов из заданного генератора:
let sample n gn =
let rec sample i seed samples =
if i = 0 then samples
else sample (i-1) (Random.stdSplit seed |> snd) (Gen.eval 1000 seed gn :: samples)
sample n (Random.newSeed()) []
Изменить: магическое число 1000 представляет собой размер сгенерированных значений. 1000 довольно большой - например. последовательности будут иметь длину от 0 до 1000 элементов, как и строки, например. Если генерация занимает много времени, вы можете настроить это значение (или взять его в качестве параметра функции).
Gen.eval, см. fscheck.codeplex.com/SourceControl/ набор изменений/представление/ . Однако FsCheck выводит сгенерированные данные для случая сбоя, поэтому в этом обычно нет необходимости. - person Mauricio Scheffer schedule 15.10.2012