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

Почему ScalaCheck отбрасывает так много сгенерированных значений в моей спецификации?
Я написал тестовый пример ScalaCheck в Specs2. Тестовый пример сдается, потому что слишком много тестов было отброшено. Однако мне не сообщается, почему они были отброшены. Как я могу узнать, почему?
439 просмотров
schedule 03.03.2024

Scalacheck/Scalatest с параметрическими типами
Я хочу протестировать общий стек с помощью scalatest и scalacheck. Пока у меня это: "Stack" should "pop the last value pushed" in { check(doPushPop(element)) } def doPushPop[T](element : T) : Boolean = { val stack = new Stack[T]...
302 просмотров

Как я могу избежать шаблонного кода при создании классов случаев с помощью ScalaCheck?
Раньше я использовал идиому, подобную следующей, для создания классов case с помощью ScalaCheck: GenSomething.map2(GenSomethingElse)(MyClass(_, _)) Недавно мы обновили ScalaCheck до версии 1.11, в которой были удалены методы mapN . Мне бы...
447 просмотров
schedule 23.04.2023

Проверка неожиданных исключений с помощью ScalaTest + ScalaCheck
Я пытаюсь написать свойство, которое в основном гласит: «оно должно либо не генерировать исключение, либо генерировать одно из списка возможных исключений», используя ScalaTest, и это GeneratorDrivenPropertyChecks , которое, в свою очередь,...
1629 просмотров

Запрос не был обработан с помощью spray-testkit
Мой сервисный маршрут: get( path("add" / IntNumber / IntNumber)( (a, b) => complete((a + b).toString()) ) ) ~ post( path("add") ( formFields('a.as[Int], 'b.as[Int]) { (a, b) => complete((a + b).toString()) }) )...
320 просмотров

Как генерировать значения для параметров класса case в scala
У меня есть класс case с 250 полями: case class Data(field1:String, field2:Int, .. ) Есть ли способ использовать проверку scala для генерации значений для своего параметра Нерелевантные вопросы, которые я рассмотрел: Как сгенерировать...
507 просмотров
schedule 23.01.2024

Получение произвольных экземпляров функций с помощью shapeless-scalacheck
После обновления до scalacheck 1.13.3 я столкнулся со странной проблемой, когда получение экземпляров A => B Or C , где Or по сути является легким Either , почти всегда завершается ошибкой. Это самый простой код, который я мог бы написать,...
734 просмотров
schedule 18.05.2024

Тестирование рекурсивной структуры данных
ScalaCheck: Полное руководство объясняет, как создавать генераторы для рекурсивных структур данных. Во-первых, он определяет структуру данных: trait Tree[T] { def size: Int } case class Leaf[T](item: T) extends Tree[T] { def size = 1...
332 просмотров

Как определить Произвольный?
Я использую ScalaTest и ScalaCheck. Я написал собственный генератор и произвольный генератор следующим образом: import java.time.LocalDateTime import org.scalacheck._ import org.scalatest.PropSpec import org.scalatest.prop.Checkers import Gen._...
123 просмотров
schedule 03.04.2024

Как гарантировать угловые случаи в тестировании на основе свойств
В последнее время я очень взволнован, когда читаю об идее тестирования на основе свойств. Но у меня есть 1 вопрос, на который я до сих пор нигде не могу найти ответ: Как тестирование на основе свойств может гарантировать, что оно будет каждый...
155 просмотров

Проверка ForAll в scala пропускает часть ввода и не учитывает размер контейнеров
Я новичок в проверке scala и хочу протестировать следующую часть своего приложения. Я хочу сгенерировать 30 и 20 случайных событий и проверить, правильно ли мой код приложения вычисляет результат. // generate 30 random events val eventGenerator:...
59 просмотров
schedule 29.07.2023

Совместное использование элементов между сгенерированными объектами в ScalaCheck с использованием вложенного forAll
Начал программировать на Scala совсем недавно и пытался написать тестовые примеры на основе свойств. Здесь я пытаюсь сгенерировать необработанные данные, которые имитируют тестируемую систему. Цель состоит в том, чтобы сначала создать базовые...
291 просмотров