Вопросы по теме 'fscheck'

Предотвращение генерации FsCheck NaN и бесконечности
У меня есть глубоко вложенная структура данных с поплавками повсюду. Я использую FsCheck, чтобы проверить, не изменились ли данные после сериализации, а затем десериализации. Это свойство не работает, когда число с плавающей точкой либо NaN, либо...
602 просмотров
schedule 07.01.2024

Ускорить генерацию произвольного кода FsCheck
Я пишу несколько генераторов и Arbitrary, но это слишком медленно (см. также номера GC). Я думаю, что у меня есть ошибка в моем коде, но я не могу понять, где. Или мой подход ( map2 (fold) ) "странный"? Генераторы: type Generators () =...
134 просмотров
schedule 17.10.2022

FsCheck С# Когда комбинатор свойств
Я пытаюсь внедрить fscheck, но мне очень тяжело, так как документации по C# не так много. Не могли бы вы объяснить, почему следующий пример использования комбинатора When для свойств не работает (видимо, я не понимаю, как его правильно использовать)?...
352 просмотров
schedule 29.04.2024

Использование свойства в fscheck с отфильтрованными элементами
Я только начинаю с FsCheck и хотел бы копнуть немного глубже, у меня есть следующий тестовый пример: [Property] public void some_test(HttpStatusCode httpStatusCode) Теперь мне нужны только httpStatusCode , которые являются сбоями, как мне...
137 просмотров
schedule 16.04.2024

Тестирование на основе свойств в F# с использованием условных параметров
В настоящее время я пишу тест на основе свойств для проверки функции расчета скорости в f # с 4 параметрами с плавающей запятой, и все параметры имеют определенные условия для их правильности (например, a > 0,0 && a ‹ 1,0 и b > a) . У меня есть...
196 просмотров

FsCheck не использует зарегистрированные Arbs/Gens
Я пытаюсь использовать FsCheck для тестирования на основе свойств, но я не могу понять, как заставить FsCheck использовать зарегистрированное мной поколение. Вот код генерации типов для домена: module Flips.Gens open Flips.Domain open FsCheck...
74 просмотров
schedule 10.03.2024

FsCheck с установкой и демонтажем
Резюме Существуют ли какие-либо события, которые можно запускать перед каждым случаем свойства, чтобы я мог запускать установку и демонтаж для каждого запуска свойства? Полная версия Я хочу иметь возможность тестировать парное поведение,...
62 просмотров