quickcheck

36зной

11ответ

Вы использовали Quickcheck в реальном проекте

Quickcheck и его варианты (даже есть один в Java), кажется интересным. Однако, помимо академического интереса, действительно ли это полезно при реальном тестировании приложений (например, приложение G

39зной

1ответ

Что нового в QuickCheck 2?

Каковы основные отличия между QuickCheck 1 и QuickCheck 2? От взгляда на документы Haddock я вижу, что он разделен на большее количество модулей, coarbitrary был заменен новым классом Fun и классом Fu

48зной

2ответ

Тестирование операций ввода-вывода с помощью Monadic QuickCheck

Может ли кто-нибудь дать мне краткий пример тестирования операций ввода-вывода с использованием Monadic QuickCheck?

2зной

1ответ

Создание списка списков Int с QuickCheck

Я работаю через Real World Haskell один из упражнений главы 4 является внедрение версии foldr обоснованной concat. Я подумал, что это будет отличный кандидат для тестирования с помощьюQuickCheck, так

12зной

1ответ

Тестирование свойств QuickCheck против нескольких типов?

У меня есть класс типа Atomic, который определяет функции для преобразования определенных типов в/из значения обертки (Atom). Я хотел бы определить свойство QuickCheck, которое гласит: «для всех экзем

2зной

2ответ

Есть ли хороший способ использования QuickCheck Happstack.State?

У меня есть метод Happstack.State MACID, который я хочу протестировать с помощью QuickCheck, но у меня возникли проблемы с выяснением самого элегантного способа выполнить это. Проблемы, я бегу в это:

5зной

3ответ

Как использовать 'oneof' в quickCheck (Haskell)

Я пытаюсь написать подсказку, которая изменяет Судоку, а затем проверяет, действительно ли она действительна. Однако, я не уверен, как правильно использовать функцию «oneof». Можете ли вы дать мне нес