Вопросы по теме 'scalacheck'
Как получить красивый результат от спецификаций + scalacheck с помощью maven?
Когда я запускаю тесты Specs + Scalacheck с помощью IDEA, я получаю приятный результат:
Specification "CoreSpec"
The core grammar should
+ parse any encoded string
+ fail to parse an empty encoded string
+ parse an expected empty...
284 просмотров
schedule
16.02.2023
Scalacheck генерирует Gen.alphastr той же длины
Мне нужно сгенерировать строки одинаковой длины. Я не могу понять, как. Большое спасибо
val s = for {
x <- Gen.alphaStr
} yield ...
4278 просмотров
schedule
25.09.2022
Как использовать генераторы scalacheck в scalatest FlatSpec
Я пытаюсь использовать генераторы свойств scalacheck в тестовом файле scalatest.FlatSpec.
Тест должен завершиться неудачно, и о нем будет сообщено junit framework (и eclipse в моем случае), но тест и ошибка просто отображаются в консоли.
import...
1420 просмотров
schedule
16.06.2022
Как создать перетасованную последовательность с помощью ScalaCheck?
Я пытался создать перетасованные последовательности с помощью scalacheck. Scalacheck не предоставляет никакого генератора, чтобы сделать это напрямую, и я не смог найти простого ответа в Интернете. Немного подумав, ниже показано, как я это сделал....
744 просмотров
schedule
19.02.2023
Приводит ли тестирование на основе свойств к дублированию кода?
Я пытаюсь заменить некоторые старые модульные тесты тестированием на основе свойств (PBT), в частности, scala и scalatest - scalacheck , но я думаю, что проблема более общая. Упрощенная ситуация такова, если у меня есть метод, который я хочу...
423 просмотров
schedule
14.12.2022
Зачем вам нужны библиотеки в scalacheck?
Интересно, зачем нужен Arbitrary, потому что автоматическое тестирование свойств требует определения свойства, например
val prop = forAll(v: T => check that property holds for v)
и генератор значения v. В руководстве пользователя...
3817 просмотров
schedule
11.08.2022
Генерация строк из грамматики в ScalaCheck
В Scala у меня есть грамматика, реализованная с помощью библиотеки Parser Combinators. Теперь я хочу генерировать случайные строки с учетом грамматики из библиотеки комбинаторов синтаксического анализатора.
Мне кажется, что библиотека ScalaCheck...
142 просмотров
schedule
19.04.2022
PlayFramework + ScalaTest + ScalaCheck
Я использую фреймворки, упомянутые в заголовке, со следующей конфигурацией:
"com.typesafe.play" % "sbt-plugin" % "2.4.2"
"org.scalacheck" %% "scalacheck" % "1.12.4" % "test"
"org.scalatest" %% "scalatest" % "2.2.5" % "test"
"org.scalatestplus" %%...
945 просмотров
schedule
27.05.2023
Создать генератор из списка генераторов
Я хочу создать генератор из нескольких генераторов. У меня есть список генераторов
val generators: List[Gen] = List(Gen[Int], Gen[Double], Gen[String], ...)
Я не знаю, каков размер списка, он может быть любым.
Я хочу создать что-то вроде...
290 просмотров
schedule
25.07.2023
Минимальные успешные тесты для свойств, специфичные для ScalaCheck
Я пытаюсь убедиться, что мое свойство ScalaCheck выполняется 500 раз вместо 100 раз по умолчанию. Однако у меня возникают проблемы с настройкой этого.
class BlockSpec extends Properties("BlockSpec") with BitcoinSLogger {
val myParams =...
1265 просмотров
schedule
08.08.2022
Как убедиться, что alphaStr не генерирует пустые строки?
Я использую генератор ScalaCheck alphaStr для генерации строк, но они всегда возвращаются пустыми. Например. следующий тест не проходит на первой строке.
class GenSpec extends FunSuite with GeneratorDrivenPropertyChecks with Matchers {...
684 просмотров
schedule
14.07.2022
Использование ScalaCheck для генерации данных базы данных
Есть ли способ сгенерировать поддельные данные базы данных с помощью ScalaCheck? Например, если я загружаю определения схемы моей базы данных в ScalaCheck, есть ли способ, которым он может сгенерировать то, что мне нужно для тестирования каждой...
263 просмотров
schedule
26.10.2022
Является ли Gen.pick ScalaCheck действительно случайным?
Я наблюдал следующее неожиданное поведение при использовании ScalaCheck Gen.pic , что (для меня) указывает на то, что его выбор не совсем случайный, хотя его документация говорит так:
/** A generator that picks a given number of elements from a...
860 просмотров
schedule
28.06.2022
Scalacheck — карта значений не входит в объект A1
У меня есть черта в scala с именем A, и я создаю из нее объект case с именем A1. Как это:
trait A
case object A1 extends A
Теперь я хочу создать для него Scalacheck Gen , поэтому я создаю объект GenA , например:
object GenA {
def a:...
2388 просмотров
schedule
27.10.2023
Scala Check/Scala Test: Генераторы Compose
Есть ли способ составить генераторы в scala test/scala check?
Например, вот пример тестового случая, который я хотел бы написать:
"The classifier" when {
"given a string containing a state" should {
"classify it as a state" in {
val...
307 просмотров
schedule
08.06.2023
Почему тест помечается как пройденный, несмотря на неудачи
Я использую Scalatest/Scalacheck с пользовательскими генераторами. Я заметил, что тесты отмечаются как успешные, даже если некоторые тесты не пройдены. В приведенном ниже примере тест " следует добавить отметку времени обработки " был...
547 просмотров
schedule
09.06.2022
Как вы генерируете данные из файла в scalacheck?
Я хочу запустить scalacheck для примера набора данных, который у меня есть в файле. Как мне создать генератор, который считывает данные из этого файла и позволяет мне проверять его свойство?
44 просмотров
schedule
12.12.2022
Генерация рекурсивных структур в scalacheck
Я пытаюсь создать генератор для рекурсивного типа данных с именем Row . Строка представляет собой список именованных Val , где Val является либо атомарным Bin , либо вложенным Row .
Это мой код:
package com.dtci.data.anonymize.parquet...
62 просмотров
schedule
21.06.2022
ScalaCheck сжимает данные команды при тестировании с отслеживанием состояния
При выполнении тестирования с отслеживанием состояния с помощью ScalaCheck библиотека может уменьшить количество команд, необходимых для поиска определенной ошибки. Как в примере счетчика из руководства пользователя:...
85 просмотров
schedule
22.12.2022