0
ответов

Scalacheck игнорирует предоставленные генераторы

Я пытаюсь реализовать простую проверку свойств, но Scalacheck игнорирует мои генераторы. Что я здесь делаю неправильно? object AlgorithmTest extends Properties("Algorithm") { property("Test") = forAll ...
вопрос задан: 31 May 2012 08:57
0
ответов

High-Order ScalaCheck

Рассмотрим следующее определение категории: trait Category[~>[_, _]] { def id[A]: A ~> A def compose[A, B, C](f: A ~> B)(g: B ~> C): A ~> C } Вот пример унарного...
вопрос задан: 9 May 2012 23:20
0
ответов

Как использовать Specs2 со Scalacheck для автоматизации тестирования аргументов String?

Переписанная среда тестирования specs2 для Scala объединяет автоматическое тестирование с scalacheck. Приведенные в документации specs2 примеры использования scalacheck вместе со specs2 либо используют ...
вопрос задан: 9 February 2012 22:01
0
ответов

Справка по ScalaCheck

Я бы хотел использовать черту ScalaTest Checkers для использования ScalaCheck из кейсов ScalaTest. Вот простой пример, с которым я играю: test ("может создать локальную дату в формате UTC из миллисекунд") {check (localDate ....
вопрос задан: 28 September 2011 23:06
0
ответов

Как заставить ScalaCheck's Arbitrary всегда генерировать некоторые специальные значения?

Я хотел бы, чтобы все мои свойства всегда проверялись по крайней мере с фиксированным набором специальных значений в дополнение к некоторым случайным значениям. Я хотел бы определить это в спецификации генератора, а не в каждом ...
вопрос задан: 27 September 2011 12:55
0
ответов

Sized generators in scalacheck

В руководстве пользователя проекта scalacheck упоминаются sized generators. Код пояснения def matrix[T](g:Gen[T]):Gen[Seq[Seq[T]]]] = Gen.sized {size => val side = scala.Math.sqrt(size).asInstanceOf[Int] /... В
вопрос задан: 8 September 2010 10:39