ScalaTest: тесты для GeneratorDrivenPropertyChecks не выполняются - PullRequest
Новая
       61

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

0 голосов
/ 12 января 2019

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

[IJ]sbt:algorithms2_1> testOnly *MedianOf3PartitioningProps
[info] Compiling 1 Scala source to /Users/vasile.gorcinschi/gitPerso/Algorithms/Chapter 2 Sorting/algorithms2_1/target/scala-2.12/test-classes ...
[warn] there was one deprecation warning; re-run with -deprecation for details
[warn] one warning found
[info] Done compiling.

[info] MedianOf3PartitioningProps:
[info] sort
[info] - should sort array of ints from 0 to 100
[info]   +  
[info] ScalaTest
[info] Run completed in 412 milliseconds.
[info] Total number of tests run: 1
[info] Suites: completed 1, aborted 0
[info] Tests: succeeded 1, failed 0, canceled 0, ignored 0, pending 0
[info] All tests passed.
[info] Passed: Total 1, Failed 0, Errors 0, Passed 1

Вот тестовый класс: 

class MedianOf3PartitioningProps extends FlatSpec with Matchers with GeneratorDrivenPropertyChecks with Gens {

  private val medianOf3Partitioning = new MedianOf3Partitioning[Int]

  implicit override val generatorDrivenConfig: PropertyCheckConfiguration = PropertyCheckConfig(minSuccessful = 1, maxDiscarded = 500, workers = 1)

  behavior of "sort"

  it should "sort array of ints from 0 to 100" in {
    forAll(arraysGen){  a: Array[Int] =>
      info(s"${a.mkString(",")}")
    medianOf3Partitioning.sort(a) shouldEqual a.sorted }
  }
}

Черта Gens - моя - она ​​содержит только определение для Gen [Array [Int]]: 

trait Gens {

  val arraysGen: Gen[Array[Int]] = containerOf[Array, Int](
    chooseNum(Int.MinValue, Int.MaxValue) suchThat { _ < 100 }
  ).suchThat(_.length < 50)
}

Я использовал этот источник для настройки теста. На всякий случай я предоставляю версии scalacheck и scalatest (от Dependencies.scala и build.sbt): 

lazy val scalaTest = "org.scalatest" %% "scalatest" % "3.0.5"
...
libraryDependencies ++= {
      val scalaTestVersion = "3.0.5"
      val scalaCheckVersion = "1.14.0"
      Seq(scalaTest % Test,
        "org.scalatest" %% "scalatest" % scalaTestVersion % "test",
        "org.scalacheck" %% "scalacheck" % scalaCheckVersion % "test",
        "com.storm-enroute" %% "scalameter" % "0.9"
      )
    }

1 Ответ

0 голосов
/ 14 января 2019

Основываясь на небольшом примере из «Программирование в Scala» М. Одерского, я переключился с GeneratorDrivenPropertyChecks на более общий PropertyChecks. Я также обнаружил проблемы с моим Gen[Array[Int]], поэтому мне тоже пришлось это настроить. Публикация решения, которое сработало (обнаружены случаи, когда произошел сбой), если это поможет кому-либо еще:

Генс черта: 

trait Gens {

  val minIntArraysGen: Gen[Array[Int]] = containerOf[Array, Int](Gen.chooseNum(0, 100))
}

Тест на основе свойств: 

import ca.vgorcinschi.Gens
import org.scalatest.MustMatchers._
import org.scalatest.WordSpec
import org.scalatest.prop.PropertyChecks

class MedianOf3PartitioningProps extends WordSpec with PropertyChecks with Gens {

  "sort method" must {
    "sort any Int array" in {
      forAll (minIntArraysGen){ (a: Array[Int]) =>
        whenever(a.nonEmpty) {
          val maybeSorted = new MedianOf3Partitioning[Int].sort(a)
          maybeSorted must equal (a.sorted)
        }
      }
    }
  }
}
...