6
ответов
Вы использовали Quickcheck в реальном [закрытом] проекте
Quickcheck и его варианты (даже существует один в Java), кажется, интересны. Однако кроме академического интереса, это действительно полезный в реальном тестировании приложения (Например, приложение GUI или...
вопрос задан: 3 February 2015 19:16
3
ответа
verboseCheck в QuickCheck 2?
Функция verboseCheck от QuickCheck 1, кажется, отсутствует в QuickCheck 2 (или по крайней мере, я не могу найти его). Там какой-либо другой путь состоит в том, чтобы показать, какие значения используются во время тестирования?
вопрос задан: 25 March 2010 16:02
3
ответа
Как использовать 'oneof' в quickCheck (Haskell)
Я пытаюсь записать опору, которая изменяет Судоку и затем проверяет, допустимо ли это все еще. Однако я не уверен, как использовать "oneof" - функция правильно. Можно ли дать мне некоторые подсказки?...
вопрос задан: 1 December 2009 22:08
2
ответа
Тестирование действий IO с Одноместным QuickCheck
Кто-либо может дать мне краткий пример тестирования действий IO с помощью Одноместного QuickCheck?
вопрос задан: 22 January 2011 22:19
1
ответ
Сделайте Тест. QuickCheck. Пакет использует тип по умолчанию для тестирования функций списка
Я тестирую функцию, вызванную извлечения, который работает по любому списку. извлечения::-> [(a)] извлечения [] = [] извлечения l = извлекают l [] где извлечение [] _ = []...
вопрос задан: 17 December 2011 20:42
1
ответ
Новые функции и возможности в QuickCheck 2?
Каковы существенные различия между QuickCheck 1 и QuickCheck 2? От рассмотрения документов Пикши I видят, что оно разделяется через большее количество модулей, coarbitrary был заменен новым Забавным типом и...
вопрос задан: 19 December 2009 16:01
1
ответ
Свойства Testing QuickCheck против нескольких типов?
У меня есть Атомарный класс типа, который определяет функции для преобразования определенных типов к/от значению обертки (Atom). Я хотел бы определить свойство QuickCheck, которое указывает: "для всех экземпляров Атомарных...
вопрос задан: 19 September 2009 18:29
1
ответ
Инвариантное тестирование может заменить поблочное тестирование?
Как программист, я вложился искренне в философию TDD и прилагаю усилия для создания обширных модульных тестов на любой нетривиальный код, который я пишу. Иногда эта дорога может быть болезненной (поведенческий...
вопрос задан: 20 April 2009 04:14
0
ответов
Как мне эмулировать Lisp (применить) или (карри) в Rust?
Я портирую QuickCheck на Rust и написал все, кроме for_all, так как не уверен, какой должна быть сигнатура типа. Я знаю, что в целом for_all принимает свойство lambda и ...
вопрос задан: 31 August 2018 00:15
0
ответов
Как получить Haskell QuickCheck 2.4 для увеличения # тестов?
Хорошо, как я узнал из моего предыдущего вопроса, книга RWH уже устарела для QuickCheck. И несмотря на все сообщения, которые я читал, которые говорят мне, насколько невероятно просто использовать QuickCheck, я ...
вопрос задан: 23 May 2017 12:34
0
ответов
Статус выхода QuickCheck при сбоях, и интеграция с Кабалой
Я пытаюсь понять, как интегрировать некоторые тесты быстрой проверки с Кабалом. Эта суть предполагает, что функция quickCheck возвращает ненулевой статус в случае сбоя, но я не получаю такого поведения, поэтому ...
вопрос задан: 23 May 2017 12:32
0
ответов
Где экземпляры QuickCheck принадлежат клике package?
У меня есть пакет Cabal, который экспортирует тип NBT, который может быть полезен другим разработчикам. Я столкнулся с трудностями при определении экземпляра Arbitrary для своего типа, и было бы стыдно не ...
вопрос задан: 23 May 2017 12:16
0
ответов
«поваренная книга» для преобразования из QuickCheck1 в QuickCheck2?
Есть ли кулинарная книга для перехода с QuickCheck1 на QuickCheck2? В качестве некоторых примеров были удалены defaultConfig (замененный Args) и тривиальный и введен CoArbitrary. Я читал...
вопрос задан: 23 May 2017 11:57
0
ответов
Свойство тестирование на основе PHP? [closed]
В различных более функциональных языках есть инструменты (например, Quickcheck), которые позволяют проводить тестирование на основе свойств. Как мне подойти к тестированию на основе свойств в PHP? Я хотел бы иметь возможность ...
вопрос задан: 31 January 2017 19:36
0
ответов
Haskell: Как протестировать (реактивный) FSM с помощью quickcheck?
Я написал модуль конечного автомата состояния для небольшой футбольной игры, над которой сейчас работаю. Он предоставляет интерфейс для настройки FSM (в основном его состояний и переходов). Для каждого состояния вы можете ...
вопрос задан: 25 December 2016 22:58
0
ответов
вызов класса типов :с переменными аргументами и результатами
При написании некоторых экземпляров Arbitrary я реализовал пару функций со следующим довольно механическим шаблоном :type A = Arbitrary --, чтобы сократить размер аннотаций ниже. сжать1...
вопрос задан: 17 August 2012 23:36
0
ответов
Быстрая проверка не-булевых тестов
Я использую QuickCheck для проверки моего кода для некоторых числовых вычислений. По сути, у меня есть точная функция и несколько ее приближений, которые намного эффективнее. В настоящее время я реализую...
вопрос задан: 13 August 2012 21:26
0
ответов
Есть ли Java-альтернатива AutoFixture от Ploeh для.Net?
Я ищу инструмент Java, который создавал бы анонимные переменные (переменные, значение которых мне не важно )в моих тестах, подобно AutoFixture в.Net. Вот ссылка на ридми AutoFixture, который...
вопрос задан: 11 July 2012 08:35
0
ответов
Тестирование парсеров Parsec путем генерации входных данных с помощью QuickCheck
Я хотел бы написать тесты для набора парсеров Parsec. Вот простой пример парсера, который я хочу протестировать с помощью QuickCheck: идентификатор = do c <- буква cs <- много (alphaNum <|> oneOf ...
вопрос задан: 12 June 2012 16:12
0
ответов
Автоматически собирать все quickCheck
Будучи фанатом quickCheck, у меня много поддержки _something _something =... во всей моей программе. Для удобства, чтобы легко запускать их все, я определяю runchecks = do quickCheck...
вопрос задан: 26 April 2012 18:11
0
ответов
Управление генерацией тестовых данных в QuickCheck
Я написал алгоритм для поиска решения проблемы суммы подмножеств на Haskell. Сигнатура subsetSum::(Ord a, Num a) => [a] -> a -> Maybe [a] QuickCheck кажется подходящим для...
вопрос задан: 3 April 2012 05:04
0
ответов
Существует ли монадическая версия Arbitrary для использования с QuickCheck?
Когда я хочу протестировать чистый код с помощью QuickCheck, мне часто приходится писать экземпляр Arbitrary. Чтобы протестировать монадический код, я могу использовать Test.QuickCheck.Monadic, как описано в этой статье. Мой вопрос: Является ли ...
вопрос задан: 25 March 2012 22:12
0
ответов
ПРОСТАЯ генерация случайных чисел
Я пишу это после долгого разочаровывающего исследования, и я надеюсь, что кто-то здесь может просветить меня по теме. Я хочу сгенерировать простое случайное число в haskell-функции, но, увы,...
вопрос задан: 16 March 2012 21:26
0
ответов
Как я могу протестировать функцию более высокого-порядка с помощью QuickCheck?
У меня есть функция более высокого-порядка, которую я хочу протестировать, и одно из свойств, которые я хочу проверить, это то, что она делает с переданными функциями.
вопрос задан: 13 March 2012 15:04
0
ответов
Как запретить QuickCheck перехватывать все исключения?
Похоже, библиотека QuickCheck перехватывает все исключения, возникающие при тестировании свойства. В частности, такое поведение не позволяет мне установить ограничение по времени для всего вычисления QuickCheck. ...
вопрос задан: 3 March 2012 21:48
0
ответов
Как получить хорошие (маленькие) усадки вне QuickCheck?
Я пытаюсь запустить QuickCheck для некоторых вложенных списков, это выглядит примерно так: type Constraint = Text
data Value = Value [ограничение]
data Literal = Литеральное значение [значение]
type Formula = [Literal]
...
вопрос задан: 23 January 2012 21:12
0
ответов
Как называется это обобщение идемпотентности?
Многие обычно полезные свойства функций имеют краткие названия. Например, ассоциативность, коммутативность, транзитивность и т. Д. Я делаю библиотеку для использования с QuickCheck, которая обеспечивает сокращение ...
вопрос задан: 1 December 2011 18:11
0
ответов
Найдите значение, которое не удалось выполнить для быстрой проверки
Когда значение не проходит тест QuickCheck, я хотел бы использовать его для отладки. Есть ли способ сделать что-то вроде: let failValue = quickCheck 'myTest в someStuff failValue Если мои данные были читаемыми ...
вопрос задан: 19 November 2011 01:21
0
ответов
Haskell QuickCheck2 с использованием ByteString?
В книгах RWH говорится, что для получения поддержки ByteString мне нужно добавить: instance Arbitrary B.ByteString, где random = fmap B.pack random coarbitrary = coarbitrary. B.unpack Но мой GHC 7 ....
вопрос задан: 13 November 2011 18:39
0
ответов
Создание списков определенной длины с помощью QuickCheck
Haskell - 3 (найти k-й элемент списка)
element_at xs x = xs !! x
prop_3a xs x = (x = 0) ==> element_at xs (x :: Int) == (xs !! x :: Int) При выполнении prop_3a ...
вопрос задан: 8 October 2011 03:29