Описание тега scalacheck

ScalaCheck - мощный инструмент для автоматического модульного тестирования программ Scala и Java.
2 ответа

Как запустить интерпретатор Scala с помощью ScalaCheck в пути к классам в Ubuntu 11.10?

Scala установлен и работает нормально.scalacheck.jar находится в /bin .Я использовал следующую команду $ scala -cp scalacheck.jar После этого, когда я попробовал приведенную ниже команду, scala> import org.scalacheck.Prop.forAll Я получил следующ…
30 май '12 в 22:00
1 ответ

Определение простого неявного арбитража

У меня есть тип Foo с конструктором, который принимает Int, Как мне определить implicit Arbitrary за Foo использоваться с scalacheck? implicit def arbFoo: Arbitrary[Foo] = ??? Я придумал следующее решение, но на мой вкус оно слишком "ручное" и низко…
1 ответ

Исключить scalacheck из пути к классу бегуна в Scala 2.9.2

scalacheck jar был случайно включен в стандартный дистрибутив Scala 2.9.2, в lib каталог, наряду со стандартными классами времени выполнения Scala (например, scala-library.jar). Это было обнаружено и исправлено для последующих дистрибутивов Scala. Я…
1 ответ

Генерировать двойники между а и б

import org.scalacheck._ import org.scalacheck.Prop._ object Doubles extends Properties("Gen Doubles") { val positiveDouble = Arbitrary.arbitrary[Double] suchThat (_ > 0.0) val normalize = Arbitrary.arbitrary[Double] map (f => math.abs(f) / Dou…
10 ноя '15 в 22:05
1 ответ

Как сделать возможным импорт org.scalacheck.Gen в консоли /Scala REPL?

Я пытаюсь запустить ScalaCheck на REPL. Поэтому я сделал проект SBT со следующим build.sbt: name := "Trying out ScalaCheck" version := "1.0" scalaVersion := "2.11.2" libraryDependencies += "org.scalacheck" %% "scalacheck" % "1.11.5" % "test" resolve…
26 сен '14 в 13:00
1 ответ

Как получить произвольное определение?

Я использую ScalaTest и ScalaCheck. Я написал собственный генератор и произвольный генератор следующим образом: import java.time.LocalDateTime import org.scalacheck._ import org.scalatest.PropSpec import org.scalatest.prop.Checkers import Gen._ impo…
16 дек '17 в 14:06
1 ответ

Значение теста свойства игнорируется

Этот сводит меня с ума. Следующее свойство test проходит в скалярном режиме (с использованием цели "sbt test"). import org.scalatest.FlatSpec import org.scalatest.prop.PropertyChecks class FigaroCheckSpec extends FlatSpec with PropertyChecks { "this…
22 июн '18 в 05:55
1 ответ

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" %% "p…
27 авг '15 в 08:02
1 ответ

ScalaTest: тесты для GeneratorDrivenPropertyChecks не выполняются

Я пытаюсь настроить тестирование на основе свойств с помощью ScalaTest и ScalaCheck ... и исходя из результатов, кажется, что у меня это получается, но это происходит слишком быстро и из того, что я обычно понимаю, ScalaCheck должен проинформировать…
0 ответов

Использование генераторов ScalaCheck с заданным ScalaTestWhenThen

Я пытаюсь понять, как правильно использовать GivenWhenThen с генераторами ScalaCheck. Если я поставлю GivenWhenThen заявления внутри forAll цикл, протокол испытаний будет распечатывать каждый GivenWhenThen Заявление столько раз, сколько есть испытан…
04 дек '18 в 19:22
1 ответ

ScalaCheck: Gen. выбрать выходные значения за пределами указанного диапазона

Я использую Scalacheck для поиска дефектов, как часть задания. Невероятно, возможно, я застрял, поскольку он генерирует пару ненулевых целых чисел. Из моего листа IntelliJ, дословно: import org.scalacheck._ import Arbitrary._ import Gen._ import Pro…
15 авг '16 в 17:19
1 ответ

Как получить красивый результат от specs+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 string + fail on a non-empty str…
08 дек '10 в 09:18
1 ответ

Scalacheck, модульное тестирование многопроцессорных алгоритмов

В настоящее время я разрабатываю инфраструктуру Scala для многопроцессорных параллельных алгоритмов с использованием MPJ-Express (то есть вариант Java MPI). MPJ-Express, и в основном все MPI-варианты, работают, запуская множество процессов с помощью…
3 ответа

ScalaCheck минимально успешные тесты на собственность

Я пытаюсь убедиться, что мое свойство ScalaCheck выполняется 500 раз вместо 100 раз по умолчанию. У меня проблемы с настройкой этого хотя. class BlockSpec extends Properties("BlockSpec") with BitcoinSLogger { val myParams = Parameters.default.withMi…
01 авг '16 в 16:11
0 ответов

Какие свойства я могу проверить здесь?

Учитывая функцию как: def f(x: BigDecimal, high: BigDecimal, highest: BigDecimal, thresh: BigDecimal): BigDecimal = { val lowMultiplier = BigDecimal(0.2) val highMultiplier = BigDecimal(0.4) val highestMultiplier = BigDecimal(0.45) if (x > thresh…
17 мар '16 в 15:37
1 ответ

Генератор скашек производит нулевой образец

Что случилось? почему человек нуль? import org.scalacheck.{Arbitrary, Properties, Gen, Prop} import Gen._ import Prop._ case class Person(name: String) {} object QuickCheckPerson extends Properties("Person") { property("gen1") = forAll { (person: Pe…
14 ноя '13 в 22:08
1 ответ

Ошибка Specs2 в Scala, при которой строки не совпадают

У меня есть следующий тест spec2 import akka.testkit._ import akka.actor.ActorSystem import com.github.nfldb.config.{NflDbApiActorSystemConfig, NflDbApiDbConfigTest} import org.scalatest.MustMatchers import org.specs2.mutable.Specification import sp…
26 авг '15 в 13:13
1 ответ

Символ 'type <none>.scalacheck.Shrink' отсутствует в пути к классам

У меня есть следующий модульный тест ScalaCheck с использованием Mockito: import org.scalatest.mockito.MockitoSugar import org.mockito.Mockito.when import org.scalatest.prop.PropertyChecks import org.mockito.Mockito.verify class PlayerTest extends o…
01 май '17 в 09:48
0 ответов

Монотонный `Произвольный [A => A]`

В скаляре, как бы вы пошли на реализацию Arbitrary что возвращает только монотонные функции? Я пытался с помощью suchThat в варианте def monotonicArbitrary [A : Arbitrary : Cogen : Ordering] : Arbitrary[A =&gt; A] = Arbitrary { arbitraryFn1[A,A].arb…
23 мар '18 в 16:16
1 ответ

Использование спецификаторов соответствия в свойствах scalacheck

Я пытаюсь использовать спецификации mathers в свойствах scalacheck. Например, у меня есть средство сравнения, которое работает так: x must matchMyMatcher(y) Когда я хочу использовать это сопоставление внутри свойства scalacheck, я делаю следующее: i…
21 окт '10 в 08:04