Вопросы по теме 'quickcheck'
Может ли инвариантное тестирование заменить модульное тестирование?
Как программист, я полностью погрузился в философию TDD и прилагаю усилия для проведения обширных модульных тестов для любого нетривиального кода, который я пишу. Иногда этот путь может быть болезненным (поведенческие изменения вызывают каскадные...
3925 просмотров
schedule
22.03.2022
HUnit / QuickCheck с непрерывной интеграцией
Существуют ли какие-либо расширения для HUnit или QuickCheck, которые позволяют использовать систему непрерывной интеграции, например Bamboo делать подробный отчет о результатах тестирования?
Пока что моя лучшая идея - просто запускать тесты как...
1181 просмотров
schedule
29.07.2023
haskell — средняя ошибка с плавающей запятой с использованием QuickCheck
Я использую QuickCheck-2.5.1.1 для контроля качества. Я тестирую две чистые функции gold :: a -> Float и f :: a -> Float , где a экземпляров Произвольно.
Здесь gold — эталонный расчет, а f — вариант, который я оптимизирую.
На...
658 просмотров
schedule
14.10.2022
Приведите пример простой тестовой среды, в которой используется QuickCheck2.
Я немного пытаюсь заставить этот базовый пример тестовой среды работать с QuickCheck2. Я получаю следующую ошибку, упомянутую на странице выше, из-за использования в примере QuickCheck 1. Я предполагаю, что использование QuickCheck2 обычно...
381 просмотров
schedule
03.04.2023
Как ограничить QuickCheck при использовании синонимов типов?
Я использую QuickCheck для запуска произвольных тестов в моем коде. Однако в одной части моего кода у меня есть синоним типа:
type Vector = [Double]
У меня также есть несколько функций, которые принимают ряд Vector s в качестве...
248 просмотров
schedule
20.08.2022
Как генерировать случайные элементы в зависимости от предыдущих элементов с помощью Quickcheck?
Я использую QuickCheck для генеративного тестирования в Clojure.
Однако я не очень хорошо это знаю и часто заканчиваю тем, что делаю запутанные вещи. Одна вещь, которую мне нужно делать довольно часто, это что-то вроде этого:
сгенерировать...
102 просмотров
schedule
19.06.2023
Почему наличие / отсутствие бинарного файла HsColour вынуждает перекомпилировать библиотеку QuickCheck?
Допустим, у меня не установлена программа HsColour и я устанавливаю QuickCheck.
$ cd /tmp/
$ cabal get QuickCheck
$ cd QuickCheck
$ cabal install
...
[ 1 of 15] Compiling Test.QuickCheck.Random
...
[15 of 15] Compiling Test.QuickCheck
......
314 просмотров
schedule
05.10.2022
Предоставление опций для HSpec от Cabal
Я пытаюсь начать работу с hspec. У меня есть рабочий случай, работающий с QuickCheck, но я хотел бы получить больше подробностей при запуске cabal test . Я нашел эту статью от hspec, в которой даны инструкции по предоставлению более подробного...
266 просмотров
schedule
08.06.2022
Генерация строк из грамматики в ScalaCheck
В Scala у меня есть грамматика, реализованная с помощью библиотеки Parser Combinators. Теперь я хочу генерировать случайные строки с учетом грамматики из библиотеки комбинаторов синтаксического анализатора.
Мне кажется, что библиотека ScalaCheck...
142 просмотров
schedule
19.04.2022
Сравните две функции с помощью quickcheck для генерации положительных целых чисел
У меня есть следующие функции Haskell:
expM :: Integer -> Integer -> Integer -> Integer
expM x y = rem (x^y)
И
exMME :: Integer -> Integer -> Integer -> Integer
exMME b 0 m = 1
exMME b e m = exMME' b e m 1 0...
572 просмотров
schedule
02.05.2022
Могу ли я генерировать произвольные строки и не повторять спецификации в QuickCheck?
Дано
data MyType = MyType ...
makeMyType :: String -> String -> String -> MyType
-- ...
type StringThing = String
где строки, которые makeMyType ожидает (соответственно):
строка с разделителями - из некоторых...
694 просмотров
schedule
17.04.2023
Какая у меня версия пакета?
Можно подумать, что это FAQ, но я не смог найти ответ на этот простой вопрос:
Какая версия определенного пакета есть в моей установке GHC?
Задний план
Я пытаюсь изучить Haskell, и для этого я изучаю Real World Haskell . Я добрался до...
960 просмотров
schedule
24.06.2022
Произвольный экземпляр для создания несмещенных графиков для быстрой проверки
module Main where
import Test.QuickCheck
import Data.Set as Set
data Edge v = Edge {source :: v, target :: v}
deriving (Show,Eq,Ord)
data Graph v = Graph {nodes :: Set v, edges :: Set (Edge v)}
deriving Show...
598 просмотров
schedule
24.02.2023
Тестирование свойств 'DAG', также известного как ациклические графы, в Haskell QuickCheck
module Graph where
import Control.Monad.State
import Data.Maybe
import Data.Set as Set
-- | 'Edge' represents an edge entre two nodes.
data Edge v = Edge {source :: v, target :: v}
deriving (Show,Eq,Ord)
data Graph v = Graph {nodes...
181 просмотров
schedule
06.12.2022
Создавайте тестовые примеры для реализации расстояния Левенштейна с помощью quickCheck
Изучая quickCheck , я хочу создать тестовый генератор для реализации удаленного редактирования levenshtein. Я думаю, что очевидный подход состоит в том, чтобы начать с двух равных строк и случайной неизвлекаемой серии действий вставки / удаления /...
1494 просмотров
schedule
18.01.2023
Генерация случайных строк из пула строк с помощью QuickCheck
Рассмотрим задачу генерации строк из нашего набора возможных строк таким образом, чтобы однажды выбранная строка не могла быть повторена снова. Для этой задачи я хотел бы использовать функции Gen QuickCheck .
Если я посмотрю на тип функции,...
272 просмотров
schedule
26.03.2022
Как использовать QuickCheck для проверки завершения функции?
Я хотел бы использовать QuickCheck для проверки функции, чтобы убедиться, что она завершается (без бесконечной рекурсии, исключений и т. д.). Вот что я делаю в данный момент:
f :: Int -> Int -> Int
prop_fTerminates :: Int -> Int ->...
637 просмотров
schedule
09.07.2023
Как разделить тестовые интерфейсы между пакетами Go?
Go не разделяет код между тестовыми файлами разных пакетов, поэтому определения тестовых интерфейсов не используются повторно автоматически. Как мы можем обойти это на практике?
Пример использования testing/quick :
foo/foo.go :
package...
680 просмотров
schedule
25.03.2024
Как проверить законы функтора с помощью библиотеки шашек
Как использовать библиотеку checkers для проверки законов функтора простого анализатора?
import Test.QuickCheck
import Test.QuickCheck.Checkers
import Test.QuickCheck.Classes
import qualified Data.ByteString as BS
type Index = Int
newtype...
398 просмотров
schedule
23.02.2023
Codewars (случайное тестирование Haskell QuickCheck)
У меня есть этот рабочий код в части случайного тестирования Ката:
it "handles randoms " $
property $ \x y -> updateHealth x y == if y > x then 0 else x-y
Но я хотел, чтобы сигнатура функции использовала Num, но когда я это...
128 просмотров
schedule
06.04.2023