Вопросы по теме '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 просмотров
schedule
25.10.2022
Как я могу избежать шаблонного кода при создании классов случаев с помощью ScalaCheck?
Раньше я использовал идиому, подобную следующей, для создания классов case с помощью ScalaCheck:
GenSomething.map2(GenSomethingElse)(MyClass(_, _))
Недавно мы обновили ScalaCheck до версии 1.11, в которой были удалены методы mapN . Мне бы...
447 просмотров
schedule
23.04.2023
Проверка неожиданных исключений с помощью ScalaTest + ScalaCheck
Я пытаюсь написать свойство, которое в основном гласит: «оно должно либо не генерировать исключение, либо генерировать одно из списка возможных исключений», используя ScalaTest, и это GeneratorDrivenPropertyChecks , которое, в свою очередь,...
1629 просмотров
schedule
10.05.2022
Запрос не был обработан с помощью 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 просмотров
schedule
22.04.2024
Как генерировать значения для параметров класса 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 просмотров
schedule
14.01.2024
Как определить Произвольный?
Я использую 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 просмотров
schedule
14.03.2023
Проверка ForAll в scala пропускает часть ввода и не учитывает размер контейнеров
Я новичок в проверке scala и хочу протестировать следующую часть своего приложения. Я хочу сгенерировать 30 и 20 случайных событий и проверить, правильно ли мой код приложения вычисляет результат.
// generate 30 random events
val eventGenerator:...
59 просмотров
schedule
29.07.2023
Совместное использование элементов между сгенерированными объектами в ScalaCheck с использованием вложенного forAll
Начал программировать на Scala совсем недавно и пытался написать тестовые примеры на основе свойств. Здесь я пытаюсь сгенерировать необработанные данные, которые имитируют тестируемую систему. Цель состоит в том, чтобы сначала создать базовые...
291 просмотров
schedule
15.02.2024