quickcheck

1зной

1ответ

Как написать генератор QuickCheck Haskell для очереди приоритетов Data.MeldableHeap

В качестве учебного упражнения я хочу написать генератор Data.MeldableHeap. Я узорной это после того, как: https://gitorious.org/aocapq/aocapq/source/7f24bb1571b3bd89ada668ea81c37ccdeb825498:src/Prior

16зной

2ответ

Haskell quickcheck - как сгенерировать только строки для печати

У меня есть набор простых демонстрационных программ, которые кодируют/декодируют строки и хотят сгенерировать 0 тестов для тестирования, но ограничить тесты только печатными строками. Использование за

3зной

2ответ

Proof/тестирование корректности общих функций

(Речь не идет о доказательстве теорем о тестировании на практике, как quickCheck) Пусть f некоторых общей функцию f :: RESTRICTIONS => GENERICS с некоторыми «желательными» свойствами (т.е. является

6зной

2ответ

Хаскел QuickCheck генерировать случайные данные для функции со многими входными переменными

У меня есть функция со следующей сигнатурой типа rndListIndex :: Double -> Double -> Double -> Double rndListIndex maxIdx r1 r2 = … первого вход должен быть значение исходит от неотрицательного стр