генерировать удвоения между a и b

124
9

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) / Double.MaxValue)
def between(a: Double, b: Double) = normalize map (_ * (b - a) + a)
property("normalize") = forAll(normalize) { f => 0.0 <= f && f <= 1.0 }
property("between") = forAll(positiveDouble, positiveDouble) { (a: Double, b: Double) =>
forAll(between(a, b)) { f =>
a <= f && f <= b
}
}
}

Вывод через http://scastie.org/13056

+ Gen Doubles.normalize: OK, passed 100 tests.

! Gen Doubles.between: Falsified after 0 passed tests.
> ARG_0: 2.9635128477431505E249
> ARG_1: 1.807071439895287E-167

Где моя математика терпит неудачу?

Решение EDIT:

val ascendingTuple = (for {
a <- Arbitrary.arbitrary[Double]
b <- Arbitrary.arbitrary[Double]
} yield(a, b))suchThat({case (a, b) => a < b})

спросил(а) 2021-01-25T18:22:15+03:00 4 месяца, 4 недели назад
1
Решение
63

Проблема в том, что вы не соблюдаете, что b должно быть больше, чем a, но ваш тест предполагает это. Когда сгенерированное значение для b меньше, чем a, вы получаете такое число, что b <= f <= a, что не дает вам результатов. Для простого исправления попробуйте:

forAll(between(a, b)) { f =>
if (a < b) {
a <= f && f <= b
} else {
b <= f && f <= a
}
}

ответил(а) 2021-01-25T18:22:15+03:00 4 месяца, 4 недели назад
Ваш ответ
Введите минимум 50 символов
Чтобы , пожалуйста,
Выберите тему жалобы:

Другая проблема